10% de desconto

Logic In Computer Science

de Hantao Zhang e Jian Zhang
Livro eBook
idioma: inglês
Editor: SPRINGER VERLAG, SINGAPORE, Janeiro de 2025 ‧
74,34€
66,91€
10% DESCONTO IMEDIATO
portes grátis
Venda o seu livro
Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic.

Logic In Computer Science

de Hantao Zhang e Jian Zhang

Propriedade Descrição
ISBN: 9789819798155
Editor: SPRINGER VERLAG, SINGAPORE
Data de Lançamento: Janeiro de 2025
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 483
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9789819798155