MARC record from Internet Archive

LEADER: 02486cam 2200721Mi 4500
001 ocn489612504
003 OCoLC
005 20220712065905.0
008 930916s1994 fr a f b 001 0 fre d
040 $aZWZ$bfre$encafnor$cZWZ$dOCLCQ$dCHRRO$dOCLCQ
015 $a09404040$2bnf
017 $aDL 93-28083$bFR
020 $a2854283244$q(br)
020 $a9782854283242$q(br)
035 $a(OCoLC)489612504
050 4 $aQ335
080 $a67$2Éd. 1967
082 04 $a006.3$221
100 1 $aAlliot, Jean-Marc.
245 10 $aIntelligence artificielle et informatique théorique$h[Texte imprimé] /$cJean-Marc Alliot ... Thomas Schiex ...
260 $aToulouse :$bCépaduès-éd.,$c1994$e(31-Toulouse :$fImpr. Messages)
300 $a1 v. (520 p.) :$bill., couv. ill. en coul. ;$c21 cm.
336 $atexte$btxt$2rdacontent/fre
337 $asans médiation$bn$2rdamedia/fre
490 1 $aCollection Intelligence artificielle
504 $aBibliogr. p. 485-510. Index.
540 $aOuvrage.
650 4 $aprogrammation génétique.
650 4 $aalgorithme génétique.
650 4 $aréseau neuronal.
650 4 $aapprentissage symbolique.
650 4 $aprogrammation PROLOG.
650 4 $aprogrammation SCHEME.
650 4 $asystème expert.
650 4 $aprogramme jeu.
650 4 $asatisfiabilité
650 4 $aprogrammation avec contrainte.
650 4 $athéorie complexité
650 4 $acalculabilité
650 4 $alogique non classique.
650 4 $athéorie résolution.
650 4 $amachine Turing.
650 4 $acalcul prédicat.
650 4 $acalcul propositionnel.
650 4 $alogique mathématique.
650 4 $ainformatique théorique.
650 4 $aintelligence artificielle.
650 7 $aLangages formels.$2ram
650 7 $aLogique symbolique et mathématique.$2ram
650 7 $aSystèmes experts (informatique)$2ram
650 7 $aProgrammation logique.$2ram
650 7 $aRéseaux neuronaux (informatique)$2ram
650 7 $aIntelligence artificielle.$2ram
650 7 $ainformatique$xintelligence artificielle$y20e s.$2rero
650 7 $aintelligence artificielle.$2rero
650 7 $ainformatique théorique.$2rero
650 7 $ainformatique théorique.$2rerovoc
700 1 $aSchiex, Thomas.
830 0 $aCollection Intelligence artificielle (Toulouse)
029 0 $aZWZ$b002974436
029 1 $aCHRRO$b1879051
994 $aZ0$bIME
948 $hNO HOLDINGS IN IME - 57 OTHER HOLDINGS