Proofs and types

Proofs and types

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Girard, Jean-Yves
Άλλοι συγγραφείς:	Lafont, Yves (Μεταφραστής), Taylor, Paul D. (Μεταφραστής)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Cambridge : Cambridge University Press, 1990.
Σειρά:	Cambridge tracts in theoretical computer science ; 7
Θέματα:	Logic. Artificial intelligence.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Philosophical logic and artificial intelligence
Δημοσίευση: (1989)

Non-monotonic reasoning :
από: Kukaszewicz, Witold
Δημοσίευση: (1990)

Updating Logocal Databases
από: Winslett, Marianne
Δημοσίευση: (1990)

Reasoning under incomplete information in artificial intelligence :
από: Sombe, Lea
Δημοσίευση: (1990)

Fuzzy Logic and Fuzzy Control :
Δημοσίευση: (1994)

Handbook of logic in artificial intelligence and logic programming
Δημοσίευση: (1993)

Articicial intelligence : An mit perspective
από: Winston, Patrick Henry
Δημοσίευση: (1979)

Applications of fuzzy logic :
Δημοσίευση: (1997)

Logical foundations for cognitive agents :
Δημοσίευση: (1999)

Representing and reasoning with probabilistic knowledge :
από: Bacchus, Fahiem
Δημοσίευση: (1990)

The ordered weighted averaging operators :
Δημοσίευση: (1997)

Elements of argumentation
από: Besnard, Philippe 1958-
Δημοσίευση: (2008)

Fril, fuzzy and evidential reasoning in artificial intelligence
από: Baldwin, J. F. (James Frederick), 1938-, κ.ά.
Δημοσίευση: (1995)

Proof in geometry
από: Fetisov, A. I.
Δημοσίευση: (1963)

Proof in geometry
από: Fetisov, A. I.
Δημοσίευση: (1978)

Nonmonotonic logics :
από: Schlechta, Karl
Δημοσίευση: (1997)

Solving the frame problem :
από: Shanahan, Murray
Δημοσίευση: (1997)

Formal methods in artificial intelligence
από: Ramsay, Allan, 1953-
Δημοσίευση: (1989)

Mistakes in geometric proofs
από: Dubnov, IA S. (IAkov Semenovich), 1887-1957
Δημοσίευση: (1963)

Proofs and refutations :
από: Lakatos, Imre, 1922-1974
Δημοσίευση: (1987)

Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987)

Introduction to mathematical proofs :
από: Roberts, Charles E.
Δημοσίευση: (2015)

Natural language understanding
από: Allen, James 1950-
Δημοσίευση: (1995)

Intelligence artificielle :
από: Tisseau, Gerard
Δημοσίευση: (1996)

The clausal theory of types
από: Wolfram, D. A.
Δημοσίευση: (1993)

Types in logic programming
Δημοσίευση: (1992)

Proof, logic, and conjecture :
από: Wolf, Robert S.
Δημοσίευση: (1998)

Learning with nested generalized exemplars
από: Salzberg, Steven L. 1960-
Δημοσίευση: (1990)

Induction :
Δημοσίευση: (1986)

Προγραμματίζοντας στη λογική :
από: Νοτόπουλος, Παναγιώτης Κ.
Δημοσίευση: (2008)

Artificial Intelligence and Human Institutions
από: Ennals, Richard
Δημοσίευση: (1991)

What every engineer should know about artificial intelligence
από: Taylor, William A.
Δημοσίευση: (1988)

Proof theory of modal logic
Δημοσίευση: (1996)

New approaches to fuzzy modeling and control :
από: Margaliot, Michael
Δημοσίευση: (2000)

Artificial intelligence :
από: Gottinger, Hans-Werner
Δημοσίευση: (1990)

Continuous Heuristics :
από: Andrew, A. M.
Δημοσίευση: (1990)

Artificial intelligence :
από: Mirzai, A.R
Δημοσίευση: (1990)

Artificial intelligence :
από: Fetzer, James H. 1940-
Δημοσίευση: (1990)

Artificial intelligence at MIT :
Δημοσίευση: (1990)

Formal techniques in artificial intelligence :
Δημοσίευση: (1990)