Reasoning with logic programming/

Main Author: Alferes, Jose Julio
Other Authors: Pereira, Luis Moniz
Format: Book
Language:English
Published: Berlin New York: Springer, c1996
Series:Lecture notes in computer science : Lecture notes in artificial intelligence 1111
Subjects:
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