Caricamento...

Logic for computer science: foundations of automatic theorem proving

Dettagli Bibliografici
Autore principale:	Gallier, Jean H; Author
Natura:	Printed Book
Pubblicazione:	New York, John Wiley & Sons, Inc 1987
Soggetti:	Automatic theorem proving Computer science Logic, Symbolic and mathematical

Documenti analoghi

Caricamento...

Logic for computer science : foundations of automatic theorem proving /
di: Gallier, Jean H.
Pubblicazione: (2015)

Caricamento...

Symbolic, logic and mechanical theorem proving
di: Chang, Chin-Liang
Pubblicazione: (1973)

Caricamento...

Logic For Computer Science: Foundations Of Automatic Theorem Proving
di: Gallier, Jean H
Pubblicazione: (1987)

Caricamento...

Logic for computer science : Foundations of Automatic Theorem proving/
di: Gallier, Jean H.
Pubblicazione: (1987)

Caricamento...

Diagrammatic reasoning: cognitive and computational perspectives
di: Chandrasekaran, B
Pubblicazione: (1995)

Caricamento...

Applied proof theory : proof interpretations and their use in mathematics /
di: Kohlenbach, U.
Pubblicazione: (2008)

Caricamento...

An introduction to automatic computers
di: Chapin, Ned
Pubblicazione: (1963)

Caricamento...

Automated theorem proving: theory and practice
di: Newborn, Monty
Pubblicazione: (2001)

Caricamento...

Logic for computer science : foundations of automatic theorem proving /
di: Gallier, Jean H.
Pubblicazione: (1986)

Caricamento...

How to prove it : a structured approach /
di: Velleman, Daniel J.
Pubblicazione: (2006)

Caricamento...

Foundations of mathematical logic /
di: Curry, Haskell B.
Pubblicazione: (1977)

Caricamento...

Foundations of the logical theory of scientific knowledge (complex logic) /
di: Zinoviev, Aleksandr
Pubblicazione: (1973)

Caricamento...

Symbolic logic /
di: Copi, Irving M.
Pubblicazione: (1962)

Caricamento...

Mathematical logic : foundations for information science /
di: Li, Wei
Pubblicazione: (2010)

Caricamento...

Mathematical logic for computer science /
Pubblicazione: (2008)

Caricamento...

A textbook of logic
di: Krishna Jain; Author
Pubblicazione: (2009)

Caricamento...

Automatic Transmissions

Caricamento...

Symbolic Logic and the Game of Logic
di: Carroll, Lewis
Pubblicazione: (1958)

Caricamento...

Computability and logic /
di: Boolos, George S.
Pubblicazione: (2002)

Caricamento...

Computability and logic /
di: Boolos, George
Pubblicazione: (1974)

Caricamento...

Logical forms : an introduction to philosophical logic /
di: Sainsbury, R. M.
Pubblicazione: (1991)

Caricamento...

Logic with trees : an introduction to symbolic logic /
di: Howson, Colin
Pubblicazione: (1997)

Caricamento...

Systems of formal logic /
di: Hackstaff, L. H.
Pubblicazione: (1966)

Caricamento...

Symbolic logic
di: Copi, Irving M
Pubblicazione: (1964)

Caricamento...

Symbolic logic /
di: Copi, Irving M.
Pubblicazione: (1973)

Caricamento...

Symbolic logic /
di: Copi, Irving M.
Pubblicazione: (1979)

Caricamento...

Logical investigations /
di: Frege, Gottlob
Pubblicazione: (1977)

Caricamento...

Symbolic logic /
di: Copi, Irving M.
Pubblicazione: (2015)

Caricamento...

System of Logic
di: Martin, Norman M
Pubblicazione: (1989)

Caricamento...

Formal logic /
Pubblicazione: (2017)

Caricamento...

Mathematical logic /
di: Shoenfield, Joseph R.
Pubblicazione: (2001)

Caricamento...

Mathematical logic
di: Chiswell,Ian, et al.
Pubblicazione: (2008)

Caricamento...

Introduction to symbolic logic /
di: Basson, A. H., et al.
Pubblicazione: (1976)

Caricamento...

Introduction to symbolic logic /
di: Basson, A. H., et al.
Pubblicazione: (1976)

Caricamento...

Automatic indexing and abstracting of document texts /
di: Moens, Marie-Francine, 1957-
Pubblicazione: (2000)

Caricamento...

Introduction to mathematical logic /
di: Mendelson, Elliott
Pubblicazione: (2010)

Caricamento...

Introduction to mathematical logic /
di: Mendelson, Elliott
Pubblicazione: (1964)

Caricamento...

Introduction to symbolic logic /
di: Carney, James D.
Pubblicazione: (1970)

Caricamento...

Course of mathematical logic /
di: Fraïssé, Roland
Pubblicazione: (1973)

Caricamento...

Papers in philosophical logic /
di: Lewis, David K.
Pubblicazione: (1998)