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

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Huth Michael
Další autoři:	Ryan Mark
Médium:	Kniha
Jazyk:	Vietnamese
Vydáno:	U.K : Cambridge University Press , 2002
Témata:	Computer logic Tin học
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Logic Programming and Nonmonotonic Reasoning
Autor: Balduccini, Marcello, a další
Vydáno: (2020)

Logic and language models for computer science
Autor: Henry Hamburger
Vydáno: (2002)

Logic Building with C (photo)
Vydáno: (2009)

Computer Science Logic
Vydáno: (2020)

Models of Strategic Reasoning
Autor: Benthem, Johan van, a další
Vydáno: (2020)

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

Mathematical logic for computer science.
Autor: Lu Zhungwan
Vydáno: (1989)

Mathematical logic for computer science /
Autor: Lu, Zhongwan.
Vydáno: (1989)

Mathematical logic for computer science /
Autor: Lu, Zhongwan.
Vydáno: (1989)

Deontic Logic in Computer Science
Autor: Meyden, Ron van der, a další
Vydáno: (2020)

Logic Programming and Nonmonotonic Reasoning
Autor: Baral, Chitta, a další
Vydáno: (2020)

Arithmetic and logic in computer systems
Autor: Lu, Mi
Vydáno: (2004)

Logical Foundations of Computer Science. 1st ed. 2018
Autor: Artemov, Sergei, a další
Vydáno: (2020)

Logical Foundations of Computer Science
Autor: Artemov, Sergei, a další
Vydáno: (2020)

Modelling Computing Systems
Autor: Moller, Faron, a další
Vydáno: (2020)

Computational Logic in Multi-Agent Systems
Vydáno: (2020)

The evolution of reason: Logic as a branch of biology
Autor: Cooper, William S
Vydáno: (2013)

Computability and logic
Autor: Boolos, George
Vydáno: (2002)

Introduction to Logic and Computer Design /
Autor: Marcovitz Alan B
Vydáno: (2007)

Introduction to logic and computer design
Autor: Alan B. Marcovitz
Vydáno: (2008)

Computer logic: Design principles and applications with 67 illustrations
Autor: Hsu, John Y.
Vydáno: (2002)

Logic for Programming, Artificial Intelligence, and Reasoning
Vydáno: (2020)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Autor: Trillas, Enric
Vydáno: (2020)

Logic, Language, and Computation
Autor: Bezhanishvili, G, a další
Vydáno: (2015)

Description Logics in Multimedia Reasoning. 1st ed. 2017
Autor: Sikos, Leslie F.
Vydáno: (2020)

Automated Reasoning
Autor: Galmiche, Didier, a další
Vydáno: (2020)

Logic, Language, and Computation
Vydáno: (2020)

Logic for computer scientists
Autor: Uwe Schoning
Vydáno: (1989)

Logic for mathematics and computer sicence
Autor: Burris, Stanley N.
Vydáno: (1998)

Logical Foundations of Cyber-Physical Systems
Autor: Platzer, André
Vydáno: (2020)

Correct Reasoning
Autor: Erdem, Esra, a další
Vydáno: (2020)

Automated Reasoning and Mathematics
Autor: Bonacina, Maria Paola, a další
Vydáno: (2020)

Model and Design of Improved Current Mode Logic Gates
Autor: Gupta, Kirti, a další
Vydáno: (2020)

Language, Logic, and Computation
Autor: Silva, Alexandra, a další
Vydáno: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Autor: Antonucci, Alessandro, a další
Vydáno: (2020)

Coalgebraic Methods in Computer Science
Autor: Cîrstea, Corina
Vydáno: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
Autor: Ayala-Rincón, Mauricio, a další
Vydáno: (2020)

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

Logic, Language, Information, and Computation
Autor: Moss, Lawrence S., a další
Vydáno: (2020)

Relational and Algebraic Methods in Computer Science
Autor: Desharnais, Jules, a další
Vydáno: (2020)