000 03702cam a2200685 a 4500
001 9946095433606533
003 AT-WiSF
005 20250118093057.0
008 000224s2001 enka b 001 0 eng
010 _a 00026973
015 _aGBA0Y1784
_2bnb
015 _aGBA123573
_2bnb
015 _aGBA0-Y1784
016 7 _a007355035
_2Uk
020 _a0201403757
020 _a9780201403756
035 _a(CU-S)b45573049-01ucs_sdi
035 _a(OCoLC)43615541
_z(OCoLC)43969907
_z(OCoLC)46808461
_z(OCoLC)1170114771
_z(OCoLC)1173861986
035 _a(OCoLC)ocm43615541
035 _a(EXLNZ-01UCS_NETWORK)9912398763906531
040 _aDLC
_beng
_cDLC
_dUKM
_dC#P
_dMUQ
_dUGX
_dBAKER
_dNLGGC
_dBTCTA
_dYDXCP
_dILU
_dOCLCF
_dFDA
_dOCLCO
_dOCLCQ
_dDHA
_dUKMGB
_dLVT
_dOCLCQ
_dUKBTH
_dMM9
_dIL4J6
_dOCLCO
_dOCLCL
_dOCLCQ
_dVNHAN
_dIG#
049 _aMAIN
050 0 0 _aQ336
_b.B74 2001
080 _a518.81
082 0 0 _a006.3/0285/5133
_221
084 _a54.53
_2bcl
084 _a54.72
_2bcl
100 1 _aBratko, Ivan,
_d1946-
_1https://id.oclc.org/worldcat/entity/E39PBJf49DmWgHM6d4F7TmJ4bd
_0http://id.loc.gov/authorities/names/nr2001009718
245 1 0 _aProlog programming for artificial intelligence /
_cIvan Bratko.
250 _a3rd ed.
260 _aHarlow, England ;
_aNew York :
_bAddison Wesley,
_c2001.
300 _axxi, 678 pages :
_billustrations ;
_c24 cm
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
490 1 _aInternational computer science series
504 _aIncludes bibliographical references and index.
505 2 0 _g1.
_tIntroduction to Prolog --
_g2.
_tSyntax and Meaning of Prolog Programs --
_g3.
_tLists, Operators, Arithmetic --
_g4.
_tUsing Structures: Example Programs --
_g5.
_tControlling Backtracking --
_g6.
_tInput and Output --
_g7.
_tMore Built-in Predicates --
_g8.
_tProgramming Style and Technique --
_g9.
_tOperations on Data Structures --
_g10.
_tAdvanced Tree Representations --
_g11.
_tBasic Problem-Solving Strategies --
_g12.
_tBest-First Heuristic Search --
_g13.
_tProblem Decomposition and AND/OR Graphs --
_g14.
_tConstraint Logic Programming --
_g15.
_tKnowledge Representation and Expert Systems --
_g16.
_tAn Expert System Shell --
_g17.
_tPlanning --
_g18.
_tMachine Learning --
_g19.
_tInductive Logic Programming --
_g20.
_tQualitative Reasoning --
_g21.
_tLanguage Processing with Grammar Rules.
650 0 _aArtificial intelligence
_xData processing.
_0http://id.loc.gov/authorities/subjects/sh85008182
650 0 _aProlog (Computer program language)
_0http://id.loc.gov/authorities/subjects/sh85107397
650 6 _aIntelligence artificielle
_xInformatique.
650 6 _aProlog (Langage de programmation)
650 7 _aArtificial intelligence
_xData processing.
_2fast
_0(OCoLC)fst00817255
650 7 _aProlog (Computer program language)
_2fast
_0(OCoLC)fst01078876
650 1 7 _aPROLOG.
_2gtt
650 1 7 _aKunstmatige intelligentie.
_2gtt
650 7 _aProlog (Computer program language)
_2nli
650 7 _aArtificial intelligence
_xData processing.
_2nli
653 0 _aTrí tuệ nhân tạo.
653 0 _aXử lí dữ liệu.
758 _ihas work:
_aProlog programming for artificial intelligence (Text)
_1https://id.oclc.org/worldcat/entity/E39PCFtq38XpT8hfjHdqqPtk6q
_4https://id.oclc.org/worldcat/ontology/hasWork
830 0 _aInternational computer science series.
_0http://id.loc.gov/authorities/names/n42013547
908 _aWorldCat Daily Updates 2024-09-18
908 _aWorldCat Daily Updates 2024-11-11
942 _2ddc
_cBK
_n0
951 _aUclaCollMgr MonosBKS19992002 20210421
951 _a7 Oct 2002 rv
951 _aMARS
999 _c260
_d260