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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Proγραμματίζοντας στη Logική : Με εφαρμογές της τεχνητής νοημοσύνης.
Έκδοση: (1991)

Logic Programming with Prolog
ανά: Bramer, Max
Έκδοση: (2005)

Logic Programming with Prolog

Quantifiers in language and logic /
ανά: Peters, Stanley
Έκδοση: (2006)

Techniques in computer programming /
ανά: Sherman, Philip M., 1930- (Philip Martin)
Έκδοση: (1970)

Practical Goal Programming
ανά: Jones, Dylan
Έκδοση: (2010)

Parallel logic programming in PARLOG The language and its implementation
ανά: Gregory, Steve
Έκδοση: (1987)

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