Chargement en cours...

Logic for computer science : foundations of automatic theorem proving /

Détails bibliographiques
Auteur principal:	Gallier, Jean H.
Format:	Printed Book
Langue:	English
Publié:	New York, NY : Harper & Row, c1986.
Sujets:	Computer science

Documents similaires

Chargement en cours...

Logic for computer science: foundations of automatic theorem proving
par: Gallier, Jean H; Author
Publié: (1987)

Chargement en cours...

Logic for computer science : foundations of automatic theorem proving /
par: Gallier, Jean H.
Publié: (2015)

Chargement en cours...

Logic for computer science : Foundations of Automatic Theorem proving/
par: Gallier, Jean H.
Publié: (1987)

Chargement en cours...

Logic For Computer Science: Foundations Of Automatic Theorem Proving
par: Gallier, Jean H
Publié: (1987)

Chargement en cours...

Logic In Computer Science /
par: Huth, Michael .
Publié: (2004)

Chargement en cours...

Computer science logic /
Publié: (2003)

Chargement en cours...

Logics for computer science
par: Singh, Arindama
Publié: (2004)

Chargement en cours...

Symbolic, logic and mechanical theorem proving
par: Chang, Chin-Liang
Publié: (1973)

Chargement en cours...

Logic in computer science Modelling and reasoning about systems /
par: Huth, Michael
Publié: (2004)

Chargement en cours...

Higher order logic theorem proving and its applications
Publié: (1993)

Chargement en cours...

Handbook of logic and proof techniques for computer science
par: karntz, Steven G
Publié: (2002)

Chargement en cours...

ACM transactions on computational logic

Chargement en cours...

Computer architecture and logic design /
par: Bartee,, Thomas C.
Publié: (1991)

Chargement en cours...

Computer architecture and logic design /
par: Bartee, Thomas C.
Publié: (1991)

Chargement en cours...

Logic in computer science: Modelling and reasoning about systems
par: Huth, Michael
Publié: (2005)

Chargement en cours...

Foundations of computer science/
par: Ebad, Ryhan
Publié: (2013)

Chargement en cours...

Computer logic
par: Ros, Alan
Publié: (1971)

Chargement en cours...

Discrete structures, logic and computability
par: Hein, James L.
Publié: (2010)

Chargement en cours...

Introduction to computer science An algorithmic approach /
par: Tremblay, Jean-paul
Publié: (1989)

Chargement en cours...

Experiments in logic and computer design
par: Teng, Albert Y
Publié: (1984)

Chargement en cours...

Mathematical foundations of computer science
par: Blikle, A
Publié: (1974)

Chargement en cours...

Mathematical foundations of computer science
par: Bathul, Shahnaz
Publié: (2016)

Chargement en cours...

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
par: Tucker, Allen B .
Publié: (1995)

Chargement en cours...

Computer logic design
par: Mano, M Morris
Publié: (1972)

Chargement en cours...

Logic in computer science: modelling and reasoning about systems/
par: Huth, Michael
Publié: (2005)

Chargement en cours...

Computer science and scientific computing
par: James M.Ortega
Publié: (1976)

Chargement en cours...

Introduction to computer science: an algorithmic approach /
par: Tremblay, Jean-Paul .
Publié: (1981)

Chargement en cours...

Foundations of software science and computation structures /
par: Nielsen, Mogens
Publié: (2002)

Chargement en cours...

Mathematical foundations of computer science 1999
par: Kutylowski, Miroslaw, et al
Publié: (1999)

Chargement en cours...

Fundamentals of computer engineering, logic, design and microprocessors
par: Lam, Herman
Publié: (1988)

Chargement en cours...

Computer machinery computer science education
Publié: (1989)

Chargement en cours...

Computer logic; the functional design of digital computers.
par: Flores, Ivan
Publié: (1960)

Chargement en cours...

Encyclopedia of computer science.
Publié: (2000)

Chargement en cours...

Introduction to computer science
par: Katzan, Harry
Publié: (1975)

Chargement en cours...

Logic and discrete mathematics: a computer science perspective
par: Grassmann, Winfried Karl; Author, et autres
Publié: (1996)

Chargement en cours...

Foundation of fuzzy logic and semantic web languages
par: Straccia, Umberto
Publié: (2014)

Chargement en cours...

Computer science and scientific computing
par: Ortega, James M
Publié: (1976)

Chargement en cours...

Concrete mathematics: a foundation for computer science
par: Graham, Ronald L, et al
Publié: (2002)

Chargement en cours...

Computer science and scientific computing
par: Ortega, James M
Publié: (1976)

Chargement en cours...

Introduction to computers: fundamentals of computer science /
par: Subramanian, N .
Publié: (1986)