dc.contributor.author | Kowalski, Robert | en |
dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Sadri, Fariba 1956- | en |
dc.coverage.spatial | Berlin | en |
dc.coverage.spatial | London | en |
dc.creator | Kowalski, Robert | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Sadri, Fariba 1956- | en |
dc.date.accessioned | 2019-11-13T10:40:48Z | |
dc.date.available | 2019-11-13T10:40:48Z | |
dc.date.issued | 2002 | |
dc.identifier.isbn | 3-540-43960-9 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54308 | |
dc.publisher | Springer | en |
dc.source.uri | http://link.springer.de/link/service/series/0558/tocs/t2408.htm | |
dc.subject | Logic programming | en |
dc.subject | Automatic theorem proving | en |
dc.subject | Logic programming languages | en |
dc.title | Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski | en |
dc.type | info:eu-repo/semantics/book | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Book | en |
dc.description.notes | <p>ID: 778 | en |
dc.description.notes | Includes bibliographical references and index. | en |
dc.description.notes | Print version also available. | en |
dc.description.notes | Mode of access : WWW.</p> | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.description.totalnumpages | 628 | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |