Εξώφυλλο

Κώδικας QR

Applied logic: how, what and why logical approaches to natural language/

Άλλοι συγγραφείς:	Polos, Laszlo,, Masuch, Michael,
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Dordrecht: Kluwer academic publishers, 1995.
Σειρά:	Synthese Library.
Ταξινομικός αριθμός:	006.3 AP
Θέματα:	Artificial intelligence. Logic. Epistemology.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

The Resolution calculus/
από: Leitsch, Alexander.
Στοιχεία έκδοσης: (1997)

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

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

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

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

Solving the Frame Problem: a mathematical investigation of the common sense law of inertia /
από: Shanahan, Murray.
Στοιχεία έκδοσης: (1997)

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

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

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

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

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

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

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

Logical foundations for cognitive agents : contributions in honor of Ray Reiter /
Στοιχεία έκδοσης: (1999)

Type logical grammar: categorial logic of signs/
από: Morrill, Glyn V.
Στοιχεία έκδοσης: (1994)

Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987)

An introduction to philoshophical logic /
από: Grayling, A. C.
Στοιχεία έκδοσης: (1997)

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

Objective knowledge : an evolutionary approach /
από: Popper, Karl Raimund sir 1902-1994.
Στοιχεία έκδοσης: (1979)

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

Android Epistemology /
Στοιχεία έκδοσης: (1995)

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

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

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

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

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

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

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)

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

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

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

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

Fundamentals of digital logic with VHDL design /
από: Brown, Stephen.
Στοιχεία έκδοσης: (2000)

Digital design with CPLD applications and VHDL /
από: Dueck, Robert K.
Στοιχεία έκδοσης: (2005)

Fundamentals of digital logic with VHDL design /
από: Brown, Stephen.
Στοιχεία έκδοσης: (2009)

Intelligent control: aspects of fuzzy logic and neural nets/
από: Harris, C. J.
Στοιχεία έκδοσης: (1993)

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