MARC record from Internet Archive

LEADER: 03393cam 2200913Ia 4500
001 ocm28985507
003 OCoLC
005 20220620103357.0
008 931012s1993 fr b 001 0 fre d
040 $aBNB$bfre$cBNB$dLVB$dFRBML$dU9S$dRUQBL$dZWZ$dDEBBG$dOCLCQ$dCHRRO$dBDF$dOCLCQ$dOCLCO$dOCLCF
016 7 $aFRBNF356019070000003$2FrPBN
020 $a2866013808
020 $a9782866013806
035 $a(OCoLC)28985507
050 4 $aQA76.9M35L37 1993
055 3 $aQA76.9M35L28$b1993
082 04 $a511.3
100 1 $aLassaigne, Richard.
245 10 $aLogique et fondements de l'informatique :$blogique du 1er ordre, calculabilité et lambda-calcul /$cRichard Lassaigne, Michel de Rougemont.
260 $aParis :$bHermès,$c©1993.
300 $aviii, 248 pages ;$c24 cm
336 $atexte$btxt$2rdacontent/fre
337 $asans médiation$bn$2rdamedia/fre
338 $avolume$bnc$2rdacarrier/fre
490 1 $aTraité des nouvelles technologies. Série informatique.
504 $aBibliogr. pages 239-241. Index.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aComputer science$xMathematics.
650 0 $aLambda calculus.
650 0 $aRecursive functions.
650 0 $aLogic programming.
650 0 $aComputable functions.
650 0 $aFirst-order logic.
650 4 $aincomplétude.
650 4 $aindécidabilité
650 4 $afonction récursive.
650 4 $aprogrammation en logique.
650 4 $acomplétude.
650 4 $adéduction.
650 4 $acalcul propositionnel.
650 4 $alambda calcul.
650 4 $acalculabilité
650 4 $alogique 1er ordre.
650 6 $aLogique symbolique et mathématique.
650 6 $aInformatique$xMathématiques.
650 6 $aLambda-calcul.
650 6 $aFonctions récursives.
650 6 $aProgrammation logique.
650 6 $aFonctions calculables.
650 6 $aLogique du premier ordre.
650 7 $aComputable functions.$2fast$0(OCoLC)fst00871985
650 7 $aComputer science$xMathematics.$2fast$0(OCoLC)fst00872460
650 7 $aFirst-order logic.$2fast$0(OCoLC)fst00925803
650 7 $aLambda calculus.$2fast$0(OCoLC)fst00991011
650 7 $aLogic programming.$2fast$0(OCoLC)fst01002056
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 7 $aRecursive functions.$2fast$0(OCoLC)fst01091984
650 7 $aBerechenbarkeit$2gnd
650 7 $aLambda-Kalkül$2gnd
650 7 $aLogik$2gnd
650 7 $aStufe 1$2gnd
650 7 $aLogique symbolique et mathématique.$2ram
650 7 $aInformatique$xMathématiques.$2ram
650 7 $alogique$xmathématiques$vmanuel.$2rero
650 7 $alogique du premier ordre$vmanuel.$2rero
650 7 $acalculabilité$vmanuel.$2rero
650 7 $acalcul lambda$vmanuel.$2rero
650 7 $acalculabilité.$2rerovoc
650 7 $acalcul lambda.$2rerovoc
655 7 $a[Manuel]$2rerovoc
700 1 $aRougemont, Michel de,$d1953-
830 0 $aTraité des nouvelles technologies.$pSérie informatique.
856 42 $3Notice et cote du catalogue de la Bibliothèque nationale de France$uhttp://catalogue.bnf.fr/ark:/12148/cb356019077
029 1 $aBDF$bFRBNF356019070000003
029 1 $aCHRRO$b1789003
029 1 $aDEBBG$bBV011104089
029 1 $aZWZ$b003003825
994 $aZ0$bIME
948 $hNO HOLDINGS IN IME - 85 OTHER HOLDINGS