Show simple item record

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

dc.contributor.authorKowalski, Roberten
dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorSadri, Fariba 1956-en
dc.coverage.spatialBerlinen
dc.coverage.spatialLondonen
dc.creatorKowalski, Roberten
dc.creatorKakas, Antonis C.en
dc.creatorSadri, Fariba 1956-en
dc.date.accessioned2019-11-13T10:40:48Z
dc.date.available2019-11-13T10:40:48Z
dc.date.issued2002
dc.identifier.isbn3-540-43960-9
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54308
dc.publisherSpringeren
dc.source.urihttp://link.springer.de/link/service/series/0558/tocs/t2408.htm
dc.subjectLogic programmingen
dc.subjectAutomatic theorem provingen
dc.subjectLogic programming languagesen
dc.titleComputational logic : logic programming and beyond : essays in honour of Robert A. Kowalskien
dc.typeinfo:eu-repo/semantics/book
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeBooken
dc.description.notes<p>ID: 778en
dc.description.notesIncludes bibliographical references and index.en
dc.description.notesPrint version also available.en
dc.description.notesMode of access : WWW.</p>en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]
dc.description.totalnumpages628
dc.gnosis.orcid0000-0001-6773-3944


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record