Επαγωγικός λογικός προγραμματισμός και Progol

Επαγωγικός λογικός προγραμματισμός και Progol

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Παπαϊωάννου, Αλκαίος
Συγγραφή απο Οργανισμό/Αρχή:	Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής (Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Πάτρα [χ.ό.] 2004
Θέματα:	Λογικός προγραμματισμός Prolog (Γλώσσα προγραμματισμού)
Διαθέσιμο Online:	http://nemertes.lis.upatras.gr/jspui/handle/10889/3551

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

Επαγωγικός λογικός προγραμματισμός και εφαρμογές
ανά: Λώλης, Γεώργιος Ε.
Έκδοση: (2008)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Features and fluents the representation of knowledge about dynamical systems
ανά: Sandewall, Erik

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Logic in computer science : modelling and reasoning about systems /
ανά: Huth, Michael, 1962-
Έκδοση: (2004)

The logic of partial information
ανά: Nait Abdallah, Areski 1950-
Έκδοση: (1995)

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

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

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

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