Εξώφυλλο

Κώδικας QR

Computing in horn clause theories/

Κύριος συγγραφέας:	Padawitz, Peter.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Berlin: Springer-Verlag, 1988.
Σειρά:	EATCS Monographs on Theoretical Computer Science.
Ταξινομικός αριθμός:	005.115 PA
Θέματα:	Horn Clauses. Logic Programming.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

The Godel Programming Language /
από: Hill, Patricia.
Στοιχεία έκδοσης: (1994)

Logic programming with Prolog /
από: Bramer, M. A. 1948-
Στοιχεία έκδοσης: (2005)

The journal of logic programming
Στοιχεία έκδοσης: (1984)

Journal of logic and algerbraic programming
Στοιχεία έκδοσης: (1984)

Reasoning with Logic Programming /
από: Alferes, Jose Julio.
Στοιχεία έκδοσης: (1996)

Inductive logic programming: from machine learning to software engineering /
από: Bergadamo, Francesco.
Στοιχεία έκδοσης: (1995)

Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings/
Στοιχεία έκδοσης: (1997)

Logic programming : formal methods and practical applications /
Στοιχεία έκδοσης: (1995)

Temporal Logic of Programs /
Στοιχεία έκδοσης: (1987)

AI game development : synthetic creatures with learning and reactive behaviors /
από: Champandard, Alex.
Στοιχεία έκδοσης: (2004)

VHDL coding and logic synthesis with Synopsys /
από: Lee, Weng Fook.
Στοιχεία έκδοσης: (2000)

The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995)

Logic design : a review of theory and practice /
από: Langdon, Glen G.
Στοιχεία έκδοσης: (1974)

Logic and integer programming /
από: Williams, H. P.
Στοιχεία έκδοσης: (2009)

The Institute cargo clauses 1982 /
από: Brown, Robert H.
Στοιχεία έκδοσης: (1982)

Program translation fundamentals : methods and issues /
από: Calingaert, Peter.
Στοιχεία έκδοσης: (1988)

Computation, Logic, Philosophy: a collection of essays /
από: Hao, Wang.
Στοιχεία έκδοσης: (1990)

Nomonotonic Logics: basic concepts, results, and techniques /
από: Schlechta, Karl.
Στοιχεία έκδοσης: (1997)

Logic /
από: Hodges, Wilfrid.
Στοιχεία έκδοσης: (1977)

Advanced computer arithmetic design/
από: Flynn, Michael J., 1934-
Στοιχεία έκδοσης: (2001)

Reasoning with logic programming/
από: Alferes, Jose Julio.
Στοιχεία έκδοσης: (1996)

Elements of the theory of computation /
από: Lewis, Harry R.
Στοιχεία έκδοσης: (1981)

The Institute time clauses hulls 1995 : analysis of marine insurance clauses /
από: Brown, Robert H.
Στοιχεία έκδοσης: (1995)

Advanced ASIC chip synthesis : using Synopsys Design Compiler, Physical Compiler, and PrimeTime /
από: Bhatnagar, Himanshu.
Στοιχεία έκδοσης: (2002)

Proof theory of modal logic/
Στοιχεία έκδοσης: (1996)

Foundations of programming through basic /
από: Moulton, Peter.
Στοιχεία έκδοσης: (1979)

Professional Perl programming /
από: Wainwright, Peter.
Στοιχεία έκδοσης: (2001)

Java design : building better apps and applets /
από: Coad, Peter.
Στοιχεία έκδοσης: (1999)

Programming in PASCAL /
από: Grogono, Peter.
Στοιχεία έκδοσης: (1980)

Programming in Pascal /
από: Grogono, Peter.
Στοιχεία έκδοσης: (1984)

An ontological and epistemological perspective of fuzzy set theory
από: Turksen, I. Burhan, 1937-
Στοιχεία έκδοσης: (2006)

Truth, deduction, and computation : logic and semantics for computer science /
από: Davis, R.E.
Στοιχεία έκδοσης: (1989)

Login and computer design fundamentals /
από: Mano, Morris M., 1927-
Στοιχεία έκδοσης: (2000)

Studies in logic and the foundations of mathematics: vol. 73: Model theory/
από: Chang, C. C.
Στοιχεία έκδοσης: (1977)

Just Java /
από: Linden, Peter van der.
Στοιχεία έκδοσης: (1996)

Not just Java: a technology briefing /
από: Linden, Peter van der.
Στοιχεία έκδοσης: (1999)

The Institute time clauses hulls 1983 : full conditions /
από: Brown, Robert H.
Στοιχεία έκδοσης: (1984)

Expaining games : the epistemic programme in game theory /
από: Bruin, Boudewijn De.
Στοιχεία έκδοσης: (2010)

IBM PC assembly language and programming /
από: Abel, Peter.
Στοιχεία έκδοσης: (1998)

Logic for applications /
από: Nerode, Anil.
Στοιχεία έκδοσης: (1997)