Εξώφυλλο

Κώδικας QR

Reasoning with Logic Programming /

Κύριος συγγραφέας:	Alferes, Jose Julio.
Άλλοι συγγραφείς:	Pereira, Luis Moniz.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Berlin: Springer, 1996.
Σειρά:	Lecture Notes in Artificial Intelligence ; 1111 Lecture Notes in Computer Science.
Ταξινομικός αριθμός:	005.115 AL.
Θέματα:	Logic (Reasoning). Logic Programming.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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)

Frontiers of combining systems: first international workshops, Munich, March 1996 /
Στοιχεία έκδοσης: (1996)

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

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

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

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

The Logic of Essentialism: an interpretation of Aristotle's Modal Syllogistic /
από: Thom, Paul.
Στοιχεία έκδοσης: (1996)

Computing in horn clause theories/
από: Padawitz, Peter.
Στοιχεία έκδοσης: (1988)

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)

Digital logic techniques : principles and practice /
από: Stonham, T. J.
Στοιχεία έκδοσης: (1996)

Fuzzy logic in artificial intelligence, towards intelligent systems, IJCAI '95 workshop, Montreal, Canada, August 19-21, 1995: selected papers/
Στοιχεία έκδοσης: (1996)

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

Fallacies arising from ambiguity/
από: Walton, Douglas.
Στοιχεία έκδοσης: (1996)

Intensionality and truth: an essay on the philosophy of A.N. Prior/
από: Hugly, Philip.
Στοιχεία έκδοσης: (1996)

The Posing of questions: logical foundations of Erotetic inferences/
από: Wisniewski, Andrzej.
Στοιχεία έκδοσης: (1995)

Elementary logic /
από: Quine, Willard Orman van.
Στοιχεία έκδοσης: (1981)

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

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

Closure spaces and logic /
από: Martin, Norman M.
Στοιχεία έκδοσης: (1996)

Quebec studies in the philoshophy of science /
Στοιχεία έκδοσης: (1996)

Commonsense reasoning
από: Mueller, Erik T.
Στοιχεία έκδοσης: (2006)

Analysis and verification of multiple-agent languages (5th:Stockholm, Sweden:1996), June 24-26 1996: workshop, selected papers/
Στοιχεία έκδοσης: (1997)

Logic and algorithms: with applications to the computer and information sciences/
από: Korfhage, Robert R.
Στοιχεία έκδοσης: (1966)

Formal logic: its scope and limits/
από: Jeffrey, Richard C.
Στοιχεία έκδοσης: (1967)

Essays in analysis /
από: Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης: (1973)

Incosistent mathematicics /
από: Mortensen, Chris.
Στοιχεία έκδοσης: (1995)

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

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

Foundations of mathematical logic/
από: Curry, Haskell B., 1900-
Στοιχεία έκδοσης: (1977)

Logic and knowledge : essays 1901-1950 /
από: Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης: (1971)

Digital Fundamentals /
από: Floyd, Thomas L.
Στοιχεία έκδοσης: (2000)

Logic and lexicon: the semantics of the indefinite/
από: Pinkal, Manfred.
Στοιχεία έκδοσης: (1995)

Doing Worlds with worlds: formal semantics without formal metaphysics /
από: Peregrin, Jaroslav.
Στοιχεία έκδοσης: (1995)

Quantifiers: logics, models and computation, vol. one: Surveys/
Στοιχεία έκδοσης: (1995)