|
|
|
|
LEADER |
00812nam a2200217 a 4500 |
001 |
911329 |
005 |
20171111231350.0 |
008 |
000803s1996 w erc 000 0 eng d |
020 |
|
|
|a 3540614885(Berlin:soft:acidfreepaper)
|
040 |
|
|
|a TEIK
|b gre
|
082 |
|
0 |
|a 006.33
|
100 |
1 |
|
|a Alferes, Jose Julio
|
245 |
1 |
0 |
|a Reasoning with logic programming/
|c Jose Julio Alferes, Luis Moniz Pereira
|
260 |
|
|
|a Berlin
|b Springer,
|c c1996
|a New York:
|
300 |
|
|
|a xx, 326 σ. :
|b εικ. ;
|c 24 εκ.
|
490 |
0 |
|
|a Lecture notes in computer science : Lecture notes in artificial intelligence
|v 1111
|
500 |
|
|
|a Errata slip inserted
|
504 |
|
|
|a Περιέχει βιβλιογραφία
|
650 |
1 |
0 |
|a Logic programming
|
700 |
1 |
|
|a Pereira, Luis Moniz
|
952 |
|
|
|a GRThAnMak
|b 59cc8f296c5ad13446fee848
|c 998a
|d 945l
|e 006.33 ALF
|t 1
|x m
|z Books
|