Logic Programming with Prolog

Logic Programming with Prolog

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Βιβλίο
Γλώσσα:	Greek

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The logic of programming
ανά: Hehner, Eric C.
Έκδοση: (1984)

Logic programming
Έκδοση: (1982)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

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

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

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

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Parallel logic programming
ανά: Tick, Evan 1959-
Έκδοση: (1991)

Foundations of logic programming
ανά: Lloyd, J. W. 1947- (John Wylie)
Έκδοση: (1984)

Microprocessors and programmed logic
ανά: Short, Kenneth L.
Έκδοση: (1987)

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

Logic programming formal methods and practical aplications
Έκδοση: (1995)

Handbook of logic in artificial intelligence and logic programming /
Έκδοση: (1998)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

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