Wird geladen...

QR-Code

Logic for computer science : foundations of automatic theorem proving /

other_versions_link

Bibliographische Detailangaben
1. Verfasser:	Gallier, Jean H.
Format:	Printed Book
Sprache:	English
Veröffentlicht:	New York, NY : Harper & Row, c1986.
Schlagworte:	Computer science

Ähnliche Einträge

Wird geladen...

Logic for computer science: foundations of automatic theorem proving
von: Gallier, Jean H; Author
Veröffentlicht: (1987)

Wird geladen...

Logic for computer science : foundations of automatic theorem proving /
von: Gallier, Jean H.
Veröffentlicht: (2015)

Wird geladen...

Logic for computer science : Foundations of Automatic Theorem proving/
von: Gallier, Jean H.
Veröffentlicht: (1987)

Wird geladen...

Logic For Computer Science: Foundations Of Automatic Theorem Proving
von: Gallier, Jean H
Veröffentlicht: (1987)

Wird geladen...

Logic In Computer Science /
von: Huth, Michael .
Veröffentlicht: (2004)

Wird geladen...

Computer science logic /
Veröffentlicht: (2003)

Wird geladen...

Logics for computer science
von: Singh, Arindama
Veröffentlicht: (2004)

Wird geladen...

Symbolic, logic and mechanical theorem proving
von: Chang, Chin-Liang
Veröffentlicht: (1973)

Wird geladen...

Logic in computer science Modelling and reasoning about systems /
von: Huth, Michael
Veröffentlicht: (2004)

Wird geladen...

Higher order logic theorem proving and its applications
Veröffentlicht: (1993)

Wird geladen...

Handbook of logic and proof techniques for computer science
von: karntz, Steven G
Veröffentlicht: (2002)

Wird geladen...

ACM transactions on computational logic

Wird geladen...

Computer architecture and logic design /
von: Bartee,, Thomas C.
Veröffentlicht: (1991)

Wird geladen...

Computer architecture and logic design /
von: Bartee, Thomas C.
Veröffentlicht: (1991)

Wird geladen...

Logic in computer science: Modelling and reasoning about systems
von: Huth, Michael
Veröffentlicht: (2005)

Wird geladen...

Foundations of computer science/
von: Ebad, Ryhan
Veröffentlicht: (2013)

Wird geladen...

Computer logic
von: Ros, Alan
Veröffentlicht: (1971)

Wird geladen...

Discrete structures, logic and computability
von: Hein, James L.
Veröffentlicht: (2010)

Wird geladen...

Introduction to computer science An algorithmic approach /
von: Tremblay, Jean-paul
Veröffentlicht: (1989)

Wird geladen...

Experiments in logic and computer design
von: Teng, Albert Y
Veröffentlicht: (1984)

Wird geladen...

Mathematical foundations of computer science
von: Blikle, A
Veröffentlicht: (1974)

Wird geladen...

Mathematical foundations of computer science
von: Bathul, Shahnaz
Veröffentlicht: (2016)

Wird geladen...

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
von: Tucker, Allen B .
Veröffentlicht: (1995)

Wird geladen...

Computer logic design
von: Mano, M Morris
Veröffentlicht: (1972)

Wird geladen...

Logic in computer science: modelling and reasoning about systems/
von: Huth, Michael
Veröffentlicht: (2005)

Wird geladen...

Computer science and scientific computing
von: James M.Ortega
Veröffentlicht: (1976)

Wird geladen...

Introduction to computer science: an algorithmic approach /
von: Tremblay, Jean-Paul .
Veröffentlicht: (1981)

Wird geladen...

Foundations of software science and computation structures /
von: Nielsen, Mogens
Veröffentlicht: (2002)

Wird geladen...

Mathematical foundations of computer science 1999
von: Kutylowski, Miroslaw, et al
Veröffentlicht: (1999)

Wird geladen...

Fundamentals of computer engineering, logic, design and microprocessors
von: Lam, Herman
Veröffentlicht: (1988)

Wird geladen...

Computer machinery computer science education
Veröffentlicht: (1989)

Wird geladen...

Computer logic; the functional design of digital computers.
von: Flores, Ivan
Veröffentlicht: (1960)

Wird geladen...

Encyclopedia of computer science.
Veröffentlicht: (2000)

Wird geladen...

Introduction to computer science
von: Katzan, Harry
Veröffentlicht: (1975)

Wird geladen...

Logic and discrete mathematics: a computer science perspective
von: Grassmann, Winfried Karl; Author, et al.
Veröffentlicht: (1996)

Wird geladen...

Foundation of fuzzy logic and semantic web languages
von: Straccia, Umberto
Veröffentlicht: (2014)

Wird geladen...

Computer science and scientific computing
von: Ortega, James M
Veröffentlicht: (1976)

Wird geladen...

Concrete mathematics: a foundation for computer science
von: Graham, Ronald L, et al
Veröffentlicht: (2002)

Wird geladen...

Computer science and scientific computing
von: Ortega, James M
Veröffentlicht: (1976)

Wird geladen...

Introduction to computers: fundamentals of computer science /
von: Subramanian, N .
Veröffentlicht: (1986)