Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /

Mã QR

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /

1. Propositional logic

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Huth Michael
Tác giả khác:	Ryan Mark
Định dạng:	Sách
Ngôn ngữ:	Vietnamese
Được phát hành:	U.K : Cambridge University Press , 2002
Những chủ đề:	Computer logic Tin học
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ữ:	Thư viện Trường CĐ Kỹ Thuật Cao Thắng

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

Logic Building with C (photo)
Được phát hành: (2009)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Balduccini, Marcello, et al.
Được phát hành: (2020)

Logic and language models for computer science
Bỡi: Henry Hamburger
Được phát hành: (2002)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Baral, Chitta, et al.
Được phát hành: (2020)

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

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

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)

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

Models of Strategic Reasoning
Bỡi: Benthem, Johan van, et al.
Được phát hành: (2020)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Được phát hành: (2001)

Logical Foundations of Computer Science. 1st ed. 2018
Bỡi: Artemov, Sergei, 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)

The evolution of reason: Logic as a branch of biology
Bỡi: Cooper, William S
Được phát hành: (2013)

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

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: Alan B. Marcovitz
Được phát hành: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning
Được phát hành: (2020)

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

Computer logic: Design principles and applications with 67 illustrations
Bỡi: Hsu, John Y.
Được phát hành: (2002)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Bỡi: Trillas, Enric
Được phát hành: (2020)

Modelling Computing Systems
Bỡi: Moller, Faron, et al.
Được phát hành: (2020)

Description Logics in Multimedia Reasoning. 1st ed. 2017
Bỡi: Sikos, Leslie F.
Đượ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)

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

Automated Reasoning
Bỡi: Galmiche, Didier, et al.
Được phát hành: (2020)

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

Fundamentals of Digital Logic with Verilog Design (sach photo) /
Bỡi: Brown Stephen D
Được phát hành: (2003)

Logical Foundations of Cyber-Physical Systems
Bỡi: Platzer, André
Được phát hành: (2020)

Correct Reasoning
Bỡi: Erdem, Esra, et al.
Được phát hành: (2020)

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

Automated Reasoning and Mathematics
Bỡi: Bonacina, Maria Paola, et al.
Được phát hành: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Bỡi: Antonucci, Alessandro, et al.
Được phát hành: (2020)

Model and Design of Improved Current Mode Logic Gates
Bỡi: Gupta, Kirti, et al.
Được phát hành: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020)

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. 1st ed. 2017
Bỡi: Pan, Jeff Z., et al.
Được phát hành: (2020)

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

The evolution of reason :
Bỡi: Cooper, William S.
Được phát hành: (2001)