Yüklüyor......

QR Kod

Logic for computer science : foundations of automatic theorem proving /

other_versions_link

Detaylı Bibliyografya
Yazar:	Gallier, Jean H.
Materyal Türü:	Printed Book
Dil:	English
Baskı/Yayın Bilgisi:	New York, NY : Harper & Row, c1986.
Konular:	Computer science

Benzer Materyaller

Yüklüyor......

Logic for computer science: foundations of automatic theorem proving
Yazar:: Gallier, Jean H; Author
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Logic for computer science : foundations of automatic theorem proving /
Yazar:: Gallier, Jean H.
Baskı/Yayın Bilgisi: (2015)

Yüklüyor......

Logic for computer science : Foundations of Automatic Theorem proving/
Yazar:: Gallier, Jean H.
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Logic For Computer Science: Foundations Of Automatic Theorem Proving
Yazar:: Gallier, Jean H
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Logic In Computer Science /
Yazar:: Huth, Michael .
Baskı/Yayın Bilgisi: (2004)

Yüklüyor......

Computer science logic /
Baskı/Yayın Bilgisi: (2003)

Yüklüyor......

Logics for computer science
Yazar:: Singh, Arindama
Baskı/Yayın Bilgisi: (2004)

Yüklüyor......

Symbolic, logic and mechanical theorem proving
Yazar:: Chang, Chin-Liang
Baskı/Yayın Bilgisi: (1973)

Yüklüyor......

Logic in computer science Modelling and reasoning about systems /
Yazar:: Huth, Michael
Baskı/Yayın Bilgisi: (2004)

Yüklüyor......

Higher order logic theorem proving and its applications
Baskı/Yayın Bilgisi: (1993)

Yüklüyor......

Handbook of logic and proof techniques for computer science
Yazar:: karntz, Steven G
Baskı/Yayın Bilgisi: (2002)

Yüklüyor......

ACM transactions on computational logic

Yüklüyor......

Computer architecture and logic design /
Yazar:: Bartee,, Thomas C.
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Computer architecture and logic design /
Yazar:: Bartee, Thomas C.
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Logic in computer science: Modelling and reasoning about systems
Yazar:: Huth, Michael
Baskı/Yayın Bilgisi: (2005)

Yüklüyor......

Foundations of computer science/
Yazar:: Ebad, Ryhan
Baskı/Yayın Bilgisi: (2013)

Yüklüyor......

Computer logic
Yazar:: Ros, Alan
Baskı/Yayın Bilgisi: (1971)

Yüklüyor......

Discrete structures, logic and computability
Yazar:: Hein, James L.
Baskı/Yayın Bilgisi: (2010)

Yüklüyor......

Introduction to computer science An algorithmic approach /
Yazar:: Tremblay, Jean-paul
Baskı/Yayın Bilgisi: (1989)

Yüklüyor......

Experiments in logic and computer design
Yazar:: Teng, Albert Y
Baskı/Yayın Bilgisi: (1984)

Yüklüyor......

Mathematical foundations of computer science
Yazar:: Blikle, A
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Mathematical foundations of computer science
Yazar:: Bathul, Shahnaz
Baskı/Yayın Bilgisi: (2016)

Yüklüyor......

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
Yazar:: Tucker, Allen B .
Baskı/Yayın Bilgisi: (1995)

Yüklüyor......

Computer logic design
Yazar:: Mano, M Morris
Baskı/Yayın Bilgisi: (1972)

Yüklüyor......

Logic in computer science: modelling and reasoning about systems/
Yazar:: Huth, Michael
Baskı/Yayın Bilgisi: (2005)

Yüklüyor......

Computer science and scientific computing
Yazar:: James M.Ortega
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Introduction to computer science: an algorithmic approach /
Yazar:: Tremblay, Jean-Paul .
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Foundations of software science and computation structures /
Yazar:: Nielsen, Mogens
Baskı/Yayın Bilgisi: (2002)

Yüklüyor......

Mathematical foundations of computer science 1999
Yazar:: Kutylowski, Miroslaw, et al
Baskı/Yayın Bilgisi: (1999)

Yüklüyor......

Fundamentals of computer engineering, logic, design and microprocessors
Yazar:: Lam, Herman
Baskı/Yayın Bilgisi: (1988)

Yüklüyor......

Computer machinery computer science education
Baskı/Yayın Bilgisi: (1989)

Yüklüyor......

Computer logic; the functional design of digital computers.
Yazar:: Flores, Ivan
Baskı/Yayın Bilgisi: (1960)

Yüklüyor......

Encyclopedia of computer science.
Baskı/Yayın Bilgisi: (2000)

Yüklüyor......

Introduction to computer science
Yazar:: Katzan, Harry
Baskı/Yayın Bilgisi: (1975)

Yüklüyor......

Logic and discrete mathematics: a computer science perspective
Yazar:: Grassmann, Winfried Karl; Author, ve diğerleri
Baskı/Yayın Bilgisi: (1996)

Yüklüyor......

Foundation of fuzzy logic and semantic web languages
Yazar:: Straccia, Umberto
Baskı/Yayın Bilgisi: (2014)

Yüklüyor......

Computer science and scientific computing
Yazar:: Ortega, James M
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Concrete mathematics: a foundation for computer science
Yazar:: Graham, Ronald L, et al
Baskı/Yayın Bilgisi: (2002)

Yüklüyor......

Computer science and scientific computing
Yazar:: Ortega, James M
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Introduction to computers: fundamentals of computer science /
Yazar:: Subramanian, N .
Baskı/Yayın Bilgisi: (1986)