Mathematical Logic and Computability /

Mã QR

Mathematical Logic and Computability /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Keisler, H. Jerome
Tác giả khác:	Robbin, Joel
Định dạng:	Sách giấy
Ngôn ngữ:	English
Được phát hành:	Singapore : McGraw-Hill, 1996
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

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

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Logic and discrete mathematics
Bỡi: Winfried Karl Grassmann
Được phát hành: (1996)

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

A Problem Course in Mathematical Logic
Bỡi: Bilaniuk, Stefan
Được phát hành: (2010)

Mathematical Logic. 1st ed.
Bỡi: Kossak, Roman
Được phát hành: (2020)

Petr Hájek on Mathematical Fuzzy Logic
Bỡi: Montagna, Franco
Được phát hành: (2015)

Comprehensive Mathematics for Computer Scientists 1 : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry
Bỡi: Guerino Mazzola, et al.
Được phát hành: (2018)

Language, Logic, and Computation
Bỡi: Silva, Alexandra, et al.
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Computer Science Logic
Được phát hành: (2020)

Infinity in Logic and Computation
Được phát hành: (2020)

Logic, Language, and Computation
Bỡi: Bezhanishvili, G, et al.
Được phát hành: (2015)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

Philosophical and Mathematical Logic. 1st ed.
Bỡi: Swart, Harrie de
Được phát hành: (2020)

Introduction to logic and computer design
Bỡi: Alan B. Marcovitz
Được phát hành: (2008)

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

Logic, Language, Information and Computation
Được phát hành: (2020)

Logic, Language, Information, and Computation
Bỡi: Moss, Lawrence S., et al.
Được phát hành: (2020)

Logic, Language, Information and Computation
Bỡi: Leivant, Daniel, et al.
Được phát hành: (2020)

Deontic Logic in Computer Science
Bỡi: Meyden, Ron van der, et al.
Được phát hành: (2020)

Computation and Logic in the Real World
Bỡi: Cooper, Barry S., et al.
Được phát hành: (2020)

Logical Foundations of Computer Science
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

Arithmetic and logic in computer systems
Bỡi: Lu, Mi
Được phát hành: (2004)

Introduction to logic and computer design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2008)

Introduction to logic and computer design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2008)

Introduction to Logic and Computer Design /
Bỡi: Marcovitz Alan B
Được phát hành: (2007)

Introduction to logic and computer design
Bỡi: Marcovitz, Alan B
Được phát hành: (2008)

Introduction to logic and computer design
Bỡi: Marcovitz, Alan B
Được phát hành: (2008)

Logic and computer design fundamentals
Bỡi: Mano, M. Morris
Được phát hành: (2016)

From Logic to Practice: Italian Studies in the Philosophy of Mathematics
Bỡi: Lolli, Gabriele, et al.
Được phát hành: (2015)

Computer graphics through key mathematics /
Bỡi: Jones, H.
Được phát hành: (2001)

Foundations of Fuzzy Logic and Soft Computing
Bỡi: Melin, Patricia, et al.
Được phát hành: (2020)

Quantitative Logic and Soft Computing 2016
Bỡi: Fan, Tai-He, et al.
Được phát hành: (2020)

Computational Logic in Multi-Agent Systems
Được phát hành: (2020)

Computational Logic in Multi-Agent Systems
Được phát hành: (2020)

Fuzzy Logic and Soft Computing Applications
Bỡi: Petrosino, Alfredo, et al.
Được phát hành: (2020)