Logic, programming and Prolog

Logic, programming and Prolog

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Nilsson, Ulf
Άλλοι συγγραφείς:	Matuszynski, Jan
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Chichester John Wiley 1995
Έκδοση:	2nd edition
Θέματα:	Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού Λογικός προγραμματισμός Prolog (Γλώσσα προγραμματισμού)

Παρόμοια τεκμήρια

Επαγωγικός λογικός προγραμματισμός και Progol
ανά: Παπαϊωάννου, Αλκαίος
Έκδοση: (2004)

Prolog ++ the power of object-oriented and logic programming
ανά: Moss, Chris
Έκδοση: (1994)

The art of Prolog advanced programming techniques
ανά: Sterling, Leon
Έκδοση: (1994)

Logic programming operational semantics and proof theory
ανά: Andrews, James H.
Έκδοση: (1992)

Prolog from the beginning
ανά: Konigsberger, Henry K.
Έκδοση: (1990)

Start problem-solving with Prolog
ανά: Conlon, Tom
Έκδοση: (1985)

Programming in Prolog
ανά: Clocksin, William F.
Έκδοση: (1987)

Programming in Prolog
ανά: Clocksin, William F.
Έκδοση: (2003)

Prolog programming in depth
ανά: Covington, Michael A.
Έκδοση: (1997)

Techniques of Prolog programming with implementation of logical negation and quantified goals
ανά: Le Van, T.
Έκδοση: (1993)

Turbo prolog εγχειρίδιο εκμάθησης
ανά: Rich, Kelly M.
Έκδοση: (1989)

Advanced Turbo Prolog: version 1.1
ανά: Schildt, Herbert
Έκδοση: (1987)

Symbolic computing with Lisp and Prolog
ανά: Mueller, Robert A.
Έκδοση: (1988)

Prolog: προγραμματισμός σε λογική για τεχνητή νοημοσύνη
ανά: Μαρακάκης, Μανόλης
Έκδοση: (2014)

Prolog programming Applications for database systems, expert systems and natural language systems
ανά: Marcus, Claudia
Έκδοση: (1986)

From logic programming to prolog
Έκδοση: (1997)

Prolog for Programmers
ανά: Kluzniak, Feliks, κ.ά.
Έκδοση: (1985)

Prolog programming for arificial intelligence
ανά: Bratko, Ivan, 1946-
Έκδοση: (2001)

Prolog programming for artificial intelligence
ανά: Bratko, Ivan, 1946-
Έκδοση: (1990)

Concurrent PROLOG Collected papers
Έκδοση: (1988)

Advanced Turbo Prolog
ανά: Schildt, Herbert
Έκδοση: (1987)

Prolog and expert systems
ανά: Bowen, Kenneth A.
Έκδοση: (1991)

The Art of Prolog Advanced programming techniques
ανά: Shapiro, Ehud, κ.ά.
Έκδοση: (1986)

Γενικευμένα αυτόματα συστήματα έμπειρα συστήματα - Turbo Prolog
ανά: Παναγιωτόπουλος, Γιάννης - Χρήστος Π., 1947-
Έκδοση: (1990)

Από τη λογική στο λογικό προγραμματισμό και την Prolog
ανά: Μητακίδης, Γιώργος
Έκδοση: (1992)

Prolog programming for artificial intelligence
ανά: Bratko, Ivan, 1946-
Έκδοση: (1987)

Inductive logic programming from machine learning to software engineering
ανά: Bergadano, Francesco
Έκδοση: (1995)

Third international conference on logic programming : Imperial Colege of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings /
Έκδοση: (1986)

Προγραμματίζοντας στη λογική Programming in logic Prolog
ανά: Νοτόπουλος, Παναγιώτης
Έκδοση: (2008)

Artificial intelligence through PROLOG
ανά: Rowe, Neil C.
Έκδοση: (1988)

Expert system development in Prolog and Turbo-prolog /
ανά: Smith, P. R. (Peter R.)
Έκδοση: (1988)

Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah.
Έκδοση: (1986)

Field programmable gate arrays : reconfigurable logic for rapid prototyping and implementation of digital systems /
ανά: Oldfield, John V., 1933-
Έκδοση: (1995)

Logic programming and soft computing
Έκδοση: (1998)

Artificial intelligence an engineering approach
ανά: Schalkoff, Robert J.
Έκδοση: (1990)

Επισκόπηση επαγωγικών αντικειμενοστραφων βάσεων δεδομένων & πρόταση για επέκταση ενος συστήματος Διπλωματική εργασία.
ανά: Στεργίου, Κωνσταντίνος
Έκδοση: (1995)

Logical structures for representation of knowledge and uncertainty
ανά: Hisdal, Ellen
Έκδοση: (1998)

Concepts of programming languages
ανά: Sebesta, Robert W.
Έκδοση: (1996)

Fortran programming
ανά: Stuart, Fredric
Έκδοση: (1970)

Programming languages /
ανά: Tucker, Allen B.
Έκδοση: (1986)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών