Đang tải...

Mã QR

Logic for computer science : foundations of automatic theorem proving /

other_versions_link

Chi tiết về thư mục
Tác giả chính:	Gallier, Jean H.
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	New York, NY : Harper & Row, c1986.
Những chủ đề:	Computer science

Những quyển sách tương tự

Logic for computer science: foundations of automatic theorem proving
Bằng: Gallier, Jean H; Author
Được phát hành: (1987)

Logic for computer science : foundations of automatic theorem proving /
Bằng: Gallier, Jean H.
Được phát hành: (2015)

Logic for computer science : Foundations of Automatic Theorem proving/
Bằng: Gallier, Jean H.
Được phát hành: (1987)

Logic For Computer Science: Foundations Of Automatic Theorem Proving
Bằng: Gallier, Jean H
Được phát hành: (1987)

Logic In Computer Science /
Bằng: Huth, Michael .
Được phát hành: (2004)

Computer science logic /
Được phát hành: (2003)

Logics for computer science
Bằng: Singh, Arindama
Được phát hành: (2004)

Symbolic, logic and mechanical theorem proving
Bằng: Chang, Chin-Liang
Được phát hành: (1973)

Logic in computer science Modelling and reasoning about systems /
Bằng: Huth, Michael
Được phát hành: (2004)

Higher order logic theorem proving and its applications
Được phát hành: (1993)

Handbook of logic and proof techniques for computer science
Bằng: karntz, Steven G
Được phát hành: (2002)

ACM transactions on computational logic

Computer architecture and logic design /
Bằng: Bartee,, Thomas C.
Được phát hành: (1991)

Computer architecture and logic design /
Bằng: Bartee, Thomas C.
Được phát hành: (1991)

Logic in computer science: Modelling and reasoning about systems
Bằng: Huth, Michael
Được phát hành: (2005)

Foundations of computer science/
Bằng: Ebad, Ryhan
Được phát hành: (2013)

Computer logic
Bằng: Ros, Alan
Được phát hành: (1971)

Discrete structures, logic and computability
Bằng: Hein, James L.
Được phát hành: (2010)

Introduction to computer science An algorithmic approach /
Bằng: Tremblay, Jean-paul
Được phát hành: (1989)

Experiments in logic and computer design
Bằng: Teng, Albert Y
Được phát hành: (1984)

Mathematical foundations of computer science
Bằng: Blikle, A
Được phát hành: (1974)

Mathematical foundations of computer science
Bằng: Bathul, Shahnaz
Được phát hành: (2016)

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
Bằng: Tucker, Allen B .
Được phát hành: (1995)

Computer logic design
Bằng: Mano, M Morris
Được phát hành: (1972)

Logic in computer science: modelling and reasoning about systems/
Bằng: Huth, Michael
Được phát hành: (2005)

Computer science and scientific computing
Bằng: James M.Ortega
Được phát hành: (1976)

Introduction to computer science: an algorithmic approach /
Bằng: Tremblay, Jean-Paul .
Được phát hành: (1981)

Foundations of software science and computation structures /
Bằng: Nielsen, Mogens
Được phát hành: (2002)

Mathematical foundations of computer science 1999
Bằng: Kutylowski, Miroslaw, et al
Được phát hành: (1999)

Fundamentals of computer engineering, logic, design and microprocessors
Bằng: Lam, Herman
Được phát hành: (1988)

Computer machinery computer science education
Được phát hành: (1989)

Computer logic; the functional design of digital computers.
Bằng: Flores, Ivan
Được phát hành: (1960)

Encyclopedia of computer science.
Được phát hành: (2000)

Introduction to computer science
Bằng: Katzan, Harry
Được phát hành: (1975)

Logic and discrete mathematics: a computer science perspective
Bằng: Grassmann, Winfried Karl; Author, et al.
Được phát hành: (1996)

Foundation of fuzzy logic and semantic web languages
Bằng: Straccia, Umberto
Được phát hành: (2014)

Computer science and scientific computing
Bằng: Ortega, James M
Được phát hành: (1976)

Concrete mathematics: a foundation for computer science
Bằng: Graham, Ronald L, et al
Được phát hành: (2002)

Computer science and scientific computing
Bằng: Ortega, James M
Được phát hành: (1976)

Introduction to computers: fundamentals of computer science /
Bằng: Subramanian, N .
Được phát hành: (1986)