AI and expertise : heuristic search, inference engines, automatic proving

LDR 01280nam a22003371a 4500
001 001304323
003 MiAaHDL
005 20210817000000.0
006 m d
007 cr bn ---auaua
008 890822c19891988enka b 00110 eng
010 ‡a88038081
020 ‡a0745804268 : ‡c£39.95
035 ‡a(MiU)990013043230106381
035 ‡asdr-miu.990013043230106381
035 ‡a(OCoLC)18779774
035 ‡a(RLIN)MIUG89-B43381
035 ‡z(MiU)Aleph001304323
040 ‡dNAlU ‡dCSt ‡dMiU
041 1 ‡aengfre
050 0 ‡aQ335 ‡b.F3713 1989
082 0 ‡a006.3 ‡219
100 1 ‡aFarreny, Henri.
240 1 0 ‡aExercices programmés d'intelligence artificielle. ‡lEnglish. ‡f1989
245 1 0 ‡aAI and expertise : ‡bheuristic search, inference engines, automatic proving / ‡cHenri Farreny ; translator, Jonathan Barchan.
260 ‡aChichester, England : ‡bE. Horwood ; ‡aNew York : ‡bHalsted Press a division of J. Wiley, ‡c1989, c1988.
300 ‡a260 p. : ‡bill. ; ‡c25 cm.
490 0 ‡aEllis Horwood series in artificial intelligence
500 ‡aIncludes index.
500 ‡aTranslation of: Exercices programmés d'intelligence artificielle.
504 ‡aBibliography: p. [256]-258.
538 ‡aMode of access: Internet.
650 0 ‡aHeuristic programming.
650 0 ‡aProblem solving.
650 0 ‡aArtificial intelligence.
CID ‡a001304323
DAT 0 ‡a19890822000000.0 ‡b20210817000000.0
DAT 1 ‡a20210913090708.0 ‡b2023-06-16T17:49:49Z
CAT ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008
FMT ‡aBK
HOL ‡0sdr-miu.990013043230106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015012007335 ‡sMIU ‡1990013043230106381
974 ‡bMIU ‡cMIU ‡d20230616 ‡sgoogle ‡umdp.39015012007335 ‡y1989 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929