Cover Image

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

Main Author:	Βατικιώτης, Αντώνης Δ
Format:	Book
Published:	Αθήνα: [χ.ό.], [19-?]
Subjects:	Logic diagrams Logic programming

Similar Items

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

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

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

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

Ανάπτυξη εφαρμογών σε προγραμματιστικό περιβάλλον /
by: Ντζιός, Κωνσταντίνος Γ.
Published: (2001)

The logical status of diagrams
by: SHIN, Sun-Joo
Published: (1994)

Words, proofs, and diagrams/
Published: (2002)

The existential graphs of Charles S. Peirce
by: Roberts, Don D.
Published: (1973)

Διάγραμμα Mollier h, s : σύστημα SI (kJ, bar)

Διάγραμμα Mollier h, s : σύστημα SI (kJ, bar)

Η έννοια της αιτιότητας στον λογικό θετικισμό/
by: Αυγελής, Νικόλαος Γ.
Published: (1971)

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

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

Foundations of inductive logic programming /
Published: (1997)

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

Proof and computation /
Published: (1995)

Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996)

Nonmonotonic reasoning: an overview/
by: Brewka, Gerhard
Published: (1997)

Nonmonotonic reasoning : an overview /
by: Brewka, Gerhard
Published: (1997)

Principles of logic and logic programming/
by: Μετακίδης, Γιώργος, 1945-
Published: (1996)

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

Logic for computer scientists/
by: Schoening, Uwe
Published: (1994)

Logic for computer scientists/
by: Schoening, Uwe, 1955-
Published: (2008)

Λογικό διάγραμμα
by: Παναγιωτόπουλος, Δημήτρης

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

Τεχνολογία λογικού : (σημειώσεις) /
by: Σκορδαλάκης, Εμμανουήλ
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)

Cannot write session to /tmp/vufind_sessions/sess_toea4e2jhthni2098qton9vle4