Cover Image

Τεχνολογία λογικού : (σημειώσεις) /

Main Author:	Σκορδαλάκης, Εμμανουήλ
Format:	Book
Published:	Αθήνα: Εθνικό Μετσόβιο Πολυτεχνείο, 1986
Subjects:	Logic programming

Similar Items

Εισαγωγή στην τεχνολογία λογισμικού/
by: Σκορδαλάκης, Εμμανουήλ
Published: (1991)

Τεχνικές λογικού προγραμματισμού Η γλώσσα Prolog
by: Σακελλαρίου, Ηλίας.
Published: (2015)

Computational logic : logic programming and beyond /
Published: (2002)

Logic program synthesis and transformation : 6th InternationalWorkshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 :proceedings /
Published: (1997)

Λογικό διάγραμμα : σε δομημένη μορφή, θεωρία - ασκήσεις /
by: Βατικιώτης, Αντώνης Δ

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

Λογικό διάγραμμα : σε δομημένη μορφή, θεωρία - ασκήσεις /
by: Βατικιώτης, Αντώνης Δ

Foundations of inductive logic programming /
Published: (1997)

Σημειώσεις λογικού προγραμματισμού/
by: Σταματόπουλος, Παναγιώτης
Published: (1997)

Logic programming, functions, relations, and equations/
Published: (1986)

Principles of logic and logic programming/
by: Metakides, G.
Published: (1996)

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /
Published: (2005)

Advances in logic programming theory /
Published: (1996)

Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Published: (2004)

Logic programming and soft computing /
Published: (1998)

Constraint logic programming : selected research /
Published: (1993)

Parallel logic programming techniques /
by: Taylor, Stephen
Published: (1989)

Logic and its applications /
by: Burke, Edmund
Published: (1996)

Types in logic programming /
Published: (1992)

Inductive logic programming: 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings/
Published: (1997)

Inductive logic programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers/
Published: (1997)

Reasoning with logic programming/
by: Alferes, Jose Julio
Published: (1996)

Logic, programming, and Prolog/
by: Nilsson, Ulf, 1961-
Published: (1990)

Parallel logic programming techniques /
by: Taylor, Stephen
Published: (1989)

The logic programming tutor/
by: Paine, Jocelyn
Published: (1992)

Deduction and declarative programming/
by: Padawitz, Peter, 1953-
Published: (1992)

Meta-programming in logic programming /
Published: (1989)

Foundations of disjunctive logic programming /
by: Lobo, Jorge
Published: (1992)

Computing with logic :logic programming with Prolog /
by: Maier, David 1953-
Published: (1988)

Using logic pro X's updated score editor /
by: Asher, Jay,

Evolving knowledge bases specification and semantics /
by: Leite, Joδao Alexandre.
Published: (2003)

Essentials of logic programming/
by: Hogger, Christopher John
Published: (1990)

Logic programming : proceedings of the 1993 International Symposium ; Dale Miller
Published: (1993)

Logic programming : proceedings of the 1998 joint international conference and symposium on logic programming ; edited by Joxan Jaffar
Published: (1998)

The Logic programming paradigm : a 25-year perspective ; K. R. Apt .. [et al.]
Published: (1999)

A grammatical view of logic programming/
by: Deransart, Pierre
Published: (1993)

Computing in Horn clause theories/
by: Padawitz, Peter
Published: (1988)

Meta-logics and logic programming ; Krzysztof R. Apt, Franco Turini
by: Apt, Krzysztof R., 1949-
Published: (1995)

Types in logic programming/
Published: (1992)

Programming in higher- order typed lambda- calculi : CMU-CS-89-111 /
by: Pierce, Benjamin
Published: (1989)

Cannot write session to /tmp/vufind_sessions/sess_u7ea8i7ee4fmr67duujtb259e0