Techniques of Prolog programming with implementation of logical negation and quantified goals

Techniques of Prolog programming with implementation of logical negation and quantified goals

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Le Van, T.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York John Wiley & Sons 1993
Θέματα:	Prolog (Γλώσσα προγραμματισμού)

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

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

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

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

Logic, programming and Prolog
ανά: Nilsson, Ulf
Έκδοση: (1995)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Artificial intelligence : structures and strategies for complex problem solving /
ανά: Luger, George F.
Έκδοση: (1998)

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

Logic Programming Techniques
ανά: Σακελλαρίου, Ηλίας, κ.ά.
Έκδοση: (2016)

Artificial Intelligence : хAn иengineering approach.
Έκδοση: (1990)

Δομές στην Prolog
ανά: Stamatopoulos, Panagiotis, κ.ά.
Έκδοση: (2016)

Prolog Debugging
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016)

Σημασιολογία Prolog Προγραμμάτων
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016)

Σύνταξη Prolog Προγραμμάτων
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016)

Prolog : programming for students: with expert systems and artificial intelligence topics /
ανά: Callear, David
Έκδοση: (1994)

Ενσωματωμένες Δυνατότητες και Επεκτάσεις της Prolog
ανά: Stamatopoulos, Panagiotis, κ.ά.
Έκδοση: (2016)

Κώδικας Prolog Κεφαλαίου 13
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016)

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