Ładuje się......

Logic for computer science : foundations of automatic theorem proving /

Opis bibliograficzny
1. autor:	Gallier, Jean H.
Format:	Printed Book
Język:	English
Wydane:	New York, NY : Harper & Row, c1986.
Hasła przedmiotowe:	Computer science

Podobne zapisy

Ładuje się......

Logic for computer science: foundations of automatic theorem proving
od: Gallier, Jean H; Author
Wydane: (1987)

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

Logic In Computer Science /
od: Huth, Michael .
Wydane: (2004)

Ładuje się......

Computer science logic /
Wydane: (2003)

Ładuje się......

Logics for computer science
od: Singh, Arindama
Wydane: (2004)

Ładuje się......

Symbolic, logic and mechanical theorem proving
od: Chang, Chin-Liang
Wydane: (1973)

Ładuje się......

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

Ładuje się......

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

Ładuje się......

Handbook of logic and proof techniques for computer science
od: karntz, Steven G
Wydane: (2002)

Ładuje się......

ACM transactions on computational logic

Ładuje się......

Computer architecture and logic design /
od: Bartee,, Thomas C.
Wydane: (1991)

Ładuje się......

Computer architecture and logic design /
od: Bartee, Thomas C.
Wydane: (1991)

Ładuje się......

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

Ładuje się......

Foundations of computer science/
od: Ebad, Ryhan
Wydane: (2013)

Ładuje się......

Computer logic
od: Ros, Alan
Wydane: (1971)

Ładuje się......

Discrete structures, logic and computability
od: Hein, James L.
Wydane: (2010)

Ładuje się......

Introduction to computer science An algorithmic approach /
od: Tremblay, Jean-paul
Wydane: (1989)

Ładuje się......

Experiments in logic and computer design
od: Teng, Albert Y
Wydane: (1984)

Ładuje się......

Mathematical foundations of computer science
od: Blikle, A
Wydane: (1974)

Ładuje się......

Mathematical foundations of computer science
od: Bathul, Shahnaz
Wydane: (2016)

Ładuje się......

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

Ładuje się......

Computer logic design
od: Mano, M Morris
Wydane: (1972)

Ładuje się......

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

Ładuje się......

Computer science and scientific computing
od: James M.Ortega
Wydane: (1976)

Ładuje się......

Introduction to computer science: an algorithmic approach /
od: Tremblay, Jean-Paul .
Wydane: (1981)

Ładuje się......

Foundations of software science and computation structures /
od: Nielsen, Mogens
Wydane: (2002)

Ładuje się......

Mathematical foundations of computer science 1999
od: Kutylowski, Miroslaw, et al
Wydane: (1999)

Ładuje się......

Fundamentals of computer engineering, logic, design and microprocessors
od: Lam, Herman
Wydane: (1988)

Ładuje się......

Computer machinery computer science education
Wydane: (1989)

Ładuje się......

Computer logic; the functional design of digital computers.
od: Flores, Ivan
Wydane: (1960)

Ładuje się......

Encyclopedia of computer science.
Wydane: (2000)

Ładuje się......

Introduction to computer science
od: Katzan, Harry
Wydane: (1975)

Ładuje się......

Logic and discrete mathematics: a computer science perspective
od: Grassmann, Winfried Karl; Author, i wsp.
Wydane: (1996)

Ładuje się......

Foundation of fuzzy logic and semantic web languages
od: Straccia, Umberto
Wydane: (2014)

Ładuje się......

Computer science and scientific computing
od: Ortega, James M
Wydane: (1976)

Ładuje się......

Concrete mathematics: a foundation for computer science
od: Graham, Ronald L, et al
Wydane: (2002)

Ładuje się......

Computer science and scientific computing
od: Ortega, James M
Wydane: (1976)

Ładuje się......

Introduction to computers: fundamentals of computer science /
od: Subramanian, N .
Wydane: (1986)