Toggle navigation
English
Ελληνικά
English
English
Ελληνικά
Login
Toggle navigation
View Item
Home
Δημοσιεύσεις ΠΚ / UCY Publications
002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
Τμήμα Πληροφορικής / Department of Computer Science
View Item
Home
Δημοσιεύσεις ΠΚ / UCY Publications
002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
Τμήμα Πληροφορικής / Department of Computer Science
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Book
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
Date
2002
Author
Kowalski, Robert
Kakas, 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
Τμήμα Πληροφορικής / Department of Computer Science
[1948]
Cite as
APA
Vancouver
Harvard
BibTeX
Search Gnosis
This Collection
Browse
Everywhere
Communities & Collections
By Submission Date
Authors
Titles
Subjects
By Type
By Department
By Faculty
This Collection
By Submission Date
Authors
Titles
Subjects
By Type
By Department
By Faculty
My Account
Login
Statistics
View Usage Statistics