Logic for computer science :

Bibliografische gegevens
Hoofdauteur:	Gallier, Jean H.
Formaat:	Printed Book
Taal:	English
Gepubliceerd in:	New York, NY : Harper & Row, c1986.
Onderwerpen:	Computer science

Wordt geladen...

Logic for computer science: foundations of automatic theorem proving
door: Gallier, Jean H; Author
Gepubliceerd in: (1987)

Wordt geladen...

Logic for computer science : foundations of automatic theorem proving /
door: Gallier, Jean H.
Gepubliceerd in: (2015)

Wordt geladen...

Logic for computer science : Foundations of Automatic Theorem proving/
door: Gallier, Jean H.
Gepubliceerd in: (1987)

Wordt geladen...

Logic For Computer Science: Foundations Of Automatic Theorem Proving
door: Gallier, Jean H
Gepubliceerd in: (1987)

Wordt geladen...

Logic In Computer Science /
door: Huth, Michael .
Gepubliceerd in: (2004)

Wordt geladen...

Computer science logic /
Gepubliceerd in: (2003)

Wordt geladen...

Logics for computer science
door: Singh, Arindama
Gepubliceerd in: (2004)

Wordt geladen...

Symbolic, logic and mechanical theorem proving
door: Chang, Chin-Liang
Gepubliceerd in: (1973)

Wordt geladen...

Logic in computer science Modelling and reasoning about systems /
door: Huth, Michael
Gepubliceerd in: (2004)

Wordt geladen...

Higher order logic theorem proving and its applications
Gepubliceerd in: (1993)

Wordt geladen...

Handbook of logic and proof techniques for computer science
door: karntz, Steven G
Gepubliceerd in: (2002)

Wordt geladen...

ACM transactions on computational logic

Wordt geladen...

Computer architecture and logic design /
door: Bartee,, Thomas C.
Gepubliceerd in: (1991)

Wordt geladen...

Computer architecture and logic design /
door: Bartee, Thomas C.
Gepubliceerd in: (1991)

Wordt geladen...

Logic in computer science: Modelling and reasoning about systems
door: Huth, Michael
Gepubliceerd in: (2005)

Wordt geladen...

Foundations of computer science/
door: Ebad, Ryhan
Gepubliceerd in: (2013)

Wordt geladen...

Computer logic
door: Ros, Alan
Gepubliceerd in: (1971)

Wordt geladen...

Discrete structures, logic and computability
door: Hein, James L.
Gepubliceerd in: (2010)

Wordt geladen...

Introduction to computer science An algorithmic approach /
door: Tremblay, Jean-paul
Gepubliceerd in: (1989)

Wordt geladen...

Experiments in logic and computer design
door: Teng, Albert Y
Gepubliceerd in: (1984)

Wordt geladen...

Mathematical foundations of computer science
door: Blikle, A
Gepubliceerd in: (1974)

Wordt geladen...

Mathematical foundations of computer science
door: Bathul, Shahnaz
Gepubliceerd in: (2016)

Wordt geladen...

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
door: Tucker, Allen B .
Gepubliceerd in: (1995)

Wordt geladen...

Computer logic design
door: Mano, M Morris
Gepubliceerd in: (1972)

Wordt geladen...

Logic in computer science: modelling and reasoning about systems/
door: Huth, Michael
Gepubliceerd in: (2005)

Wordt geladen...

Computer science and scientific computing
door: James M.Ortega
Gepubliceerd in: (1976)

Wordt geladen...

Introduction to computer science: an algorithmic approach /
door: Tremblay, Jean-Paul .
Gepubliceerd in: (1981)

Wordt geladen...

Foundations of software science and computation structures /
door: Nielsen, Mogens
Gepubliceerd in: (2002)

Wordt geladen...

Mathematical foundations of computer science 1999
door: Kutylowski, Miroslaw, et al
Gepubliceerd in: (1999)

Wordt geladen...

Fundamentals of computer engineering, logic, design and microprocessors
door: Lam, Herman
Gepubliceerd in: (1988)

Wordt geladen...

Computer machinery computer science education
Gepubliceerd in: (1989)

Wordt geladen...

Computer logic; the functional design of digital computers.
door: Flores, Ivan
Gepubliceerd in: (1960)

Wordt geladen...

Encyclopedia of computer science.
Gepubliceerd in: (2000)

Wordt geladen...

Introduction to computer science
door: Katzan, Harry
Gepubliceerd in: (1975)

Wordt geladen...

Logic and discrete mathematics: a computer science perspective
door: Grassmann, Winfried Karl; Author, et al.
Gepubliceerd in: (1996)

Wordt geladen...

Foundation of fuzzy logic and semantic web languages
door: Straccia, Umberto
Gepubliceerd in: (2014)

Wordt geladen...

Computer science and scientific computing
door: Ortega, James M
Gepubliceerd in: (1976)

Wordt geladen...

Concrete mathematics: a foundation for computer science
door: Graham, Ronald L, et al
Gepubliceerd in: (2002)

Wordt geladen...

Computer science and scientific computing
door: Ortega, James M
Gepubliceerd in: (1976)

Wordt geladen...

Introduction to computers: fundamentals of computer science /
door: Subramanian, N .
Gepubliceerd in: (1986)

Logic for computer science : foundations of automatic theorem proving /

Gelijkaardige items

Gelijkaardige items