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

kod QR

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

1. Propositional logic

Zapisane w:

Opis bibliograficzny
1. autor:	Huth Michael
Kolejni autorzy:	Ryan Mark
Format:	Książka
Język:	Vietnamese
Wydane:	U.K : Cambridge University Press , 2002
Hasła przedmiotowe:	Computer logic Tin học
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Logic Programming and Nonmonotonic Reasoning
od: Balduccini, Marcello, i wsp.
Wydane: (2020)

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

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

Computer Science Logic
Wydane: (2020)

Models of Strategic Reasoning
od: Benthem, Johan van, i wsp.
Wydane: (2020)

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

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

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

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

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

Logic Programming and Nonmonotonic Reasoning
od: Baral, Chitta, i wsp.
Wydane: (2020)

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

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

Logical Foundations of Computer Science
od: Artemov, Sergei, i wsp.
Wydane: (2020)

Modelling Computing Systems
od: Moller, Faron, i wsp.
Wydane: (2020)

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

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

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

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

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

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

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

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

Logic, Language, and Computation
od: Bezhanishvili, G, i wsp.
Wydane: (2015)

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

Automated Reasoning
od: Galmiche, Didier, i wsp.
Wydane: (2020)

Logic, Language, and Computation
Wydane: (2020)

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

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

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

Correct Reasoning
od: Erdem, Esra, i wsp.
Wydane: (2020)

Automated Reasoning and Mathematics
od: Bonacina, Maria Paola, i wsp.
Wydane: (2020)

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

Language, Logic, and Computation
od: Silva, Alexandra, i wsp.
Wydane: (2020)

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

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

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

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

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

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