|
|
|
|
| LEADER |
00958nam a2200229 a 4500 |
| 001 |
1300092 |
| 005 |
20171111233232.0 |
| 008 |
991008s1996 gr erb 001 0 eng d |
| 020 |
|
|
|a 0444816445
|
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 005.131
|
| 100 |
1 |
|
|a Μετακίδης, Γιώργος,
|d 1945-
|
| 245 |
1 |
0 |
|a Principles of logic and logic programming/
|c G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos
|
| 260 |
|
|
|a Amsterdan:
|b Elsevier,
|c 1996
|
| 300 |
|
|
|a xiii, 329 p. :
|b ill. ;
|c 25 cm.
|
| 490 |
0 |
|
|a Studies in Computer Science and Artificial Intelligence / Banerji R.B. , Nivat M. , Wirsing M ;
|v 13
|
| 500 |
|
|
|a Includes bibliographical references (p. 311-317) and index
|
| 650 |
|
0 |
|a Logic programming
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 700 |
1 |
|
|a Nerode, Anil,
|
| 700 |
1 |
|
|a Σιναχόπουλος, Α.
|
| 952 |
|
|
|a GrAtEKP
|b 59cd0ec36c5ad134460e8eff
|c 998a
|d 945l
|e 005.131 ΜετΓ p 1996
|t 1
|x m
|z Books
|
