|
|
|
|
| LEADER |
00831nam a2200193 a 4500 |
| 001 |
961706 |
| 005 |
20171111231430.0 |
| 008 |
980622s1993 nyua eng |
| 020 |
|
|
|a 047157175X(paper)
|
| 050 |
0 |
0 |
|a QA76.73.P76
|b V36 1993
|
| 100 |
1 |
|
|a Van Le, T.
|
| 245 |
1 |
0 |
|a Techniques of Prolog programming :
|b with implementation of logical negation and quantified goals /
|c T. Van Le.
|
| 260 |
|
|
|a New York :
|b Wiley,
|c c1993.
|
| 300 |
|
|
|a xviii, 601 p. :
|b ill. ;
|c 24 cm. +
|e 2 computer disks (3 1/2 in.).
|
| 500 |
|
|
|a System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
|
| 504 |
|
|
|a Includes bibliographical references (p. 585-593) and index.
|
| 650 |
|
0 |
|a Prolog (Computer program language)
|
| 650 |
|
0 |
|a Negation (Logic)
|
| 952 |
|
|
|a GRHeTEI
|b 59ccc4c66c5ad134460801c8
|c 998a
|d 945l
|e QA76.73.P76 V36 1993
|t 6
|x m
|z Books
|
