10% OFF

Logic In Computer Science

by Hantao Zhang e Jian Zhang
Book eBook
language: english
Publisher: SPRINGER VERLAG, SINGAPORE, January of 2025 ‧
74,34€
66,91€
10% OFF
free shipping
Sell ​​your book
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

by Hantao Zhang e Jian Zhang

Property Description
ISBN: 9789819798155
Publisher: SPRINGER VERLAG, SINGAPORE
Release Date: January of 2025
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Softcover
Pages: 483
Format: Book
Categories: Books in English > Science > Mathematics
EAN: 9789819798155