Book  



Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski

Thumbnail
Date
2002
Author
Kowalski, Robert
ORCID logoKakas, Antonis C.
Sadri, Fariba 1956-
ISBN
3-540-43960-9
Publisher
Springer
Place of publication
Berlin
London

Google Scholar check
Keyword(s):
Logic programming
Automatic theorem proving
Logic programming languages

Metadata
Show full item record
Links
http://link.springer.de/link/service/series/0558/tocs/t2408.htm
URI
http://gnosis.library.ucy.ac.cy/handle/7/54308
Collections

Cite as