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

QR kȏd

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

1. Propositional logic

Spremljeno u:

Bibliografski detalji
Glavni autor:	Huth Michael
Daljnji autori:	Ryan Mark
Format:	Knjiga
Jezik:	Vietnamese
Izdano:	U.K : Cambridge University Press , 2002
Teme:	Computer logic Tin học
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Thư viện lưu trữ:	Thư viện Trường CĐ Kỹ Thuật Cao Thắng

Similar Items

Logic Programming and Nonmonotonic Reasoning
od: Balduccini, Marcello, i dr.
Izdano: (2020)

Logic and language models for computer science
od: Henry Hamburger
Izdano: (2002)

Logic Building with C (photo)
Izdano: (2009)

Computer Science Logic
Izdano: (2020)

Models of Strategic Reasoning
od: Benthem, Johan van, i dr.
Izdano: (2020)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Izdano: (2001)

Mathematical logic for computer science.
od: Lu Zhungwan
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Deontic Logic in Computer Science
od: Meyden, Ron van der, i dr.
Izdano: (2020)

Logic Programming and Nonmonotonic Reasoning
od: Baral, Chitta, i dr.
Izdano: (2020)

Arithmetic and logic in computer systems
od: Lu, Mi
Izdano: (2004)

Logical Foundations of Computer Science. 1st ed. 2018
od: Artemov, Sergei, i dr.
Izdano: (2020)

Logical Foundations of Computer Science
od: Artemov, Sergei, i dr.
Izdano: (2020)

Modelling Computing Systems
od: Moller, Faron, i dr.
Izdano: (2020)

Computational Logic in Multi-Agent Systems
Izdano: (2020)

The evolution of reason: Logic as a branch of biology
od: Cooper, William S
Izdano: (2013)

Computability and logic
od: Boolos, George
Izdano: (2002)

Introduction to Logic and Computer Design /
od: Marcovitz Alan B
Izdano: (2007)

Introduction to logic and computer design
od: Alan B. Marcovitz
Izdano: (2008)

Computer logic: Design principles and applications with 67 illustrations
od: Hsu, John Y.
Izdano: (2002)

Logic for Programming, Artificial Intelligence, and Reasoning
Izdano: (2020)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
od: Trillas, Enric
Izdano: (2020)

Logic, Language, and Computation
od: Bezhanishvili, G, i dr.
Izdano: (2015)

Description Logics in Multimedia Reasoning. 1st ed. 2017
od: Sikos, Leslie F.
Izdano: (2020)

Automated Reasoning
od: Galmiche, Didier, i dr.
Izdano: (2020)

Logic, Language, and Computation
Izdano: (2020)

Logic for computer scientists
od: Uwe Schoning
Izdano: (1989)

Logic for mathematics and computer sicence
od: Burris, Stanley N.
Izdano: (1998)

Logical Foundations of Cyber-Physical Systems
od: Platzer, André
Izdano: (2020)

Correct Reasoning
od: Erdem, Esra, i dr.
Izdano: (2020)

Automated Reasoning and Mathematics
od: Bonacina, Maria Paola, i dr.
Izdano: (2020)

Model and Design of Improved Current Mode Logic Gates
od: Gupta, Kirti, i dr.
Izdano: (2020)

Language, Logic, and Computation
od: Silva, Alexandra, i dr.
Izdano: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
od: Antonucci, Alessandro, i dr.
Izdano: (2020)

Coalgebraic Methods in Computer Science
od: Cîrstea, Corina
Izdano: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
od: Ayala-Rincón, Mauricio, i dr.
Izdano: (2020)

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Izdano: (2001)

Logic, Language, Information, and Computation
od: Moss, Lawrence S., i dr.
Izdano: (2020)

Relational and Algebraic Methods in Computer Science
od: Desharnais, Jules, i dr.
Izdano: (2020)