机读格式显示(MARC)
- 000 00894cam 2200301 a 4500
- 008 041222s1979 nyua b 001 0 eng d
- 099 __ |a CAL 022000291818
- 100 1_ |a Kowalski, Robert.
- 245 10 |a Logic for problem solving / |c Robert Kowalski.
- 260 __ |a New York : |b Elsevier North Holland, |c c1979.
- 300 __ |a 287 p. : |b ill. ; |c 23 cm.
- 490 0_ |a Artificial intelligence series ; |v 7
- 490 0_ |a The Computer science library
- 504 __ |a Includes bibliographical references (p. 247-260) and index.
- 650 _0 |a Problem solving.
- 650 _0 |a Electronic digital computers |v Programming.
- 650 _0 |a Logic, Symbolic and mathematical.
- 950 __ |a JHUL |b O221 |c K88