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

Código QR

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

1. Propositional logic

Gardado en:

Detalles Bibliográficos
Autor Principal:	Huth Michael
Outros autores:	Ryan Mark
Formato:	Libro
Idioma:	Vietnamese
Publicado:	U.K : Cambridge University Press , 2002
Những chủ đề:	Computer logic Tin học
Các nhãn:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

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

Títulos similares

Logic Programming and Nonmonotonic Reasoning
por: Balduccini, Marcello, et al.
Publicado: (2020)

Logic and language models for computer science
por: Henry Hamburger
Publicado: (2002)

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

Computer Science Logic
Publicado: (2020)

Models of Strategic Reasoning
por: Benthem, Johan van, et al.
Publicado: (2020)

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

Mathematical logic for computer science.
por: Lu Zhungwan
Publicado: (1989)

Mathematical logic for computer science /
por: Lu, Zhongwan.
Publicado: (1989)

Mathematical logic for computer science /
por: Lu, Zhongwan.
Publicado: (1989)

Deontic Logic in Computer Science
por: Meyden, Ron van der, et al.
Publicado: (2020)

Logic Programming and Nonmonotonic Reasoning
por: Baral, Chitta, et al.
Publicado: (2020)

Arithmetic and logic in computer systems
por: Lu, Mi
Publicado: (2004)

Logical Foundations of Computer Science. 1st ed. 2018
por: Artemov, Sergei, et al.
Publicado: (2020)

Logical Foundations of Computer Science
por: Artemov, Sergei, et al.
Publicado: (2020)

Modelling Computing Systems
por: Moller, Faron, et al.
Publicado: (2020)

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

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

Computability and logic
por: Boolos, George
Publicado: (2002)

Introduction to Logic and Computer Design /
por: Marcovitz Alan B
Publicado: (2007)

Introduction to logic and computer design
por: Alan B. Marcovitz
Publicado: (2008)

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

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

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

Logic, Language, and Computation
por: Bezhanishvili, G, et al.
Publicado: (2015)

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

Automated Reasoning
por: Galmiche, Didier, et al.
Publicado: (2020)

Logic, Language, and Computation
Publicado: (2020)

Logic for computer scientists
por: Uwe Schoning
Publicado: (1989)

Logic for mathematics and computer sicence
por: Burris, Stanley N.
Publicado: (1998)

Logical Foundations of Cyber-Physical Systems
por: Platzer, André
Publicado: (2020)

Correct Reasoning
por: Erdem, Esra, et al.
Publicado: (2020)

Automated Reasoning and Mathematics
por: Bonacina, Maria Paola, et al.
Publicado: (2020)

Model and Design of Improved Current Mode Logic Gates
por: Gupta, Kirti, et al.
Publicado: (2020)

Language, Logic, and Computation
por: Silva, Alexandra, et al.
Publicado: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
por: Antonucci, Alessandro, et al.
Publicado: (2020)

Coalgebraic Methods in Computer Science
por: Cîrstea, Corina
Publicado: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
por: Ayala-Rincón, Mauricio, et al.
Publicado: (2020)

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

Logic, Language, Information, and Computation
por: Moss, Lawrence S., et al.
Publicado: (2020)

Relational and Algebraic Methods in Computer Science
por: Desharnais, Jules, et al.
Publicado: (2020)