TY  - BOOK
AU  - Kakas C. Antonis
AU  - Kowalski,Robert
AU  - Kakas,Antonis C.
AU  - Sadri,Fariba
ED  - LINK (Online service)
TI  - Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski part II 
T2  - Lecture notes iin computer science
SN  - 9783540439608
U1  - 005.115 
PY  - 2002///
CY  - Berlin, Hong Kong
PB  - Springer-Verlag
KW  - Kowalski, Robert.
KW  - Logic programming
KW  - Automatic theorem proving
KW  - Logic programming languages
N1  - Includes bibliographical references and index; Electronic reproduction; Berlin; Springer-Verlag; c2002; System requirements: Adobe Acrobat Reader; Mode of access: World Wide Web; Made available through Springer LINK
ER  -