Načítá se...

QR kód

Logic for computer science : foundations of automatic theorem proving /

other_versions_link

Podrobná bibliografie
Hlavní autor:	Gallier, Jean H.
Médium:	Printed Book
Jazyk:	English
Vydáno:	New York, NY : Harper & Row, c1986.
Témata:	Computer science

Podobné jednotky

Načítá se...

Logic for computer science: foundations of automatic theorem proving
Autor: Gallier, Jean H; Author
Vydáno: (1987)

Načítá se...

Logic for computer science : foundations of automatic theorem proving /
Autor: Gallier, Jean H.
Vydáno: (2015)

Načítá se...

Logic for computer science : Foundations of Automatic Theorem proving/
Autor: Gallier, Jean H.
Vydáno: (1987)

Načítá se...

Logic For Computer Science: Foundations Of Automatic Theorem Proving
Autor: Gallier, Jean H
Vydáno: (1987)

Načítá se...

Logic In Computer Science /
Autor: Huth, Michael .
Vydáno: (2004)

Načítá se...

Computer science logic /
Vydáno: (2003)

Načítá se...

Logics for computer science
Autor: Singh, Arindama
Vydáno: (2004)

Načítá se...

Symbolic, logic and mechanical theorem proving
Autor: Chang, Chin-Liang
Vydáno: (1973)

Načítá se...

Logic in computer science Modelling and reasoning about systems /
Autor: Huth, Michael
Vydáno: (2004)

Načítá se...

Higher order logic theorem proving and its applications
Vydáno: (1993)

Načítá se...

Handbook of logic and proof techniques for computer science
Autor: karntz, Steven G
Vydáno: (2002)

Načítá se...

ACM transactions on computational logic

Načítá se...

Computer architecture and logic design /
Autor: Bartee,, Thomas C.
Vydáno: (1991)

Načítá se...

Computer architecture and logic design /
Autor: Bartee, Thomas C.
Vydáno: (1991)

Načítá se...

Logic in computer science: Modelling and reasoning about systems
Autor: Huth, Michael
Vydáno: (2005)

Načítá se...

Foundations of computer science/
Autor: Ebad, Ryhan
Vydáno: (2013)

Načítá se...

Computer logic
Autor: Ros, Alan
Vydáno: (1971)

Načítá se...

Discrete structures, logic and computability
Autor: Hein, James L.
Vydáno: (2010)

Načítá se...

Introduction to computer science An algorithmic approach /
Autor: Tremblay, Jean-paul
Vydáno: (1989)

Načítá se...

Experiments in logic and computer design
Autor: Teng, Albert Y
Vydáno: (1984)

Načítá se...

Mathematical foundations of computer science
Autor: Blikle, A
Vydáno: (1974)

Načítá se...

Mathematical foundations of computer science
Autor: Bathul, Shahnaz
Vydáno: (2016)

Načítá se...

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
Autor: Tucker, Allen B .
Vydáno: (1995)

Načítá se...

Computer logic design
Autor: Mano, M Morris
Vydáno: (1972)

Načítá se...

Logic in computer science: modelling and reasoning about systems/
Autor: Huth, Michael
Vydáno: (2005)

Načítá se...

Computer science and scientific computing
Autor: James M.Ortega
Vydáno: (1976)

Načítá se...

Introduction to computer science: an algorithmic approach /
Autor: Tremblay, Jean-Paul .
Vydáno: (1981)

Načítá se...

Foundations of software science and computation structures /
Autor: Nielsen, Mogens
Vydáno: (2002)

Načítá se...

Mathematical foundations of computer science 1999
Autor: Kutylowski, Miroslaw, et al
Vydáno: (1999)

Načítá se...

Fundamentals of computer engineering, logic, design and microprocessors
Autor: Lam, Herman
Vydáno: (1988)

Načítá se...

Computer machinery computer science education
Vydáno: (1989)

Načítá se...

Computer logic; the functional design of digital computers.
Autor: Flores, Ivan
Vydáno: (1960)

Načítá se...

Encyclopedia of computer science.
Vydáno: (2000)

Načítá se...

Introduction to computer science
Autor: Katzan, Harry
Vydáno: (1975)

Načítá se...

Logic and discrete mathematics: a computer science perspective
Autor: Grassmann, Winfried Karl; Author, a další
Vydáno: (1996)

Načítá se...

Foundation of fuzzy logic and semantic web languages
Autor: Straccia, Umberto
Vydáno: (2014)

Načítá se...

Computer science and scientific computing
Autor: Ortega, James M
Vydáno: (1976)

Načítá se...

Concrete mathematics: a foundation for computer science
Autor: Graham, Ronald L, et al
Vydáno: (2002)

Načítá se...

Computer science and scientific computing
Autor: Ortega, James M
Vydáno: (1976)

Načítá se...

Introduction to computers: fundamentals of computer science /
Autor: Subramanian, N .
Vydáno: (1986)