Toggle navigation
English
Ελληνικά
Ελληνικά
English
Ελληνικά
Σύνδεση
Toggle navigation
Προβολή τεκμηρίου
Αρχική
Δημοσιεύσεις ΠΚ / UCY Publications
002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
Τμήμα Πληροφορικής / Department of Computer Science
Προβολή τεκμηρίου
Αρχική
Δημοσιεύσεις ΠΚ / UCY Publications
002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
Τμήμα Πληροφορικής / Department of Computer Science
Προβολή τεκμηρίου
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
Ημερομηνία
2002
Συγγραφέας
Kowalski, Robert
Kakas, Antonis C.
Sadri, Fariba 1956-
ISBN
3-540-43960-9
Εκδότης
Springer
Place of publication
Berlin
London
Google Scholar check
Keyword(s):
Logic programming
Automatic theorem proving
Logic programming languages
Metadata
Εμφάνιση πλήρους εγγραφής
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
[1952]
Cite as
APA
Vancouver
Harvard
BibTeX
Αναζήτηση στο Γνῶσις
Αυτή η συλλογή
Πλοήγηση
Όλο το Γνῶσις
Κοινότητες & Συλλογές
Ανά ημερομηνία υποβολής
Συγγραφείς
Τίτλοι
Λέξεις κλειδιά
Ανά Τύπο
Ανά Τμήμα
Ανά Σχολή
Αυτή η συλλογή
Ανά ημερομηνία υποβολής
Συγγραφείς
Τίτλοι
Λέξεις κλειδιά
Ανά Τύπο
Ανά Τμήμα
Ανά Σχολή
Ο λογαριασμός μου
Σύνδεση
Statistics
View Usage Statistics