TY  - BOOK
AU  - Kakas, Antonis C.,
AU  - Sadri,Fariba
TI  - Computational logic: logic programming and beyond 
T2  - Lecture notes in computer science,
SN  - 9783540439608
U1  - 005.115 22
PY  - 2002///
CY  - Berlin
PB  - Springer
KW  - BUEsh
KW  - Logic programming
KW  - Automatic theorem proving
KW  - COMSCI
KW  - March2018
N1  - Includes bibliographical references and index; v. 2. essays in honour of Robert A. Kowalski
ER  -