Logic in Computer Science - Hantao Zhang - Knihy - Springer Verlag, Singapore - 9789819798155 - 12. januára 2025
V prípade, že obal a názov nesedia, platí názov

Logic in Computer Science 2024 Edition

Cena
€ 65,99

Objednané zo vzdialeného skladu

Očakávané doručenie 3. - 11. dec
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta Hantao Zhang
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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.


400 pages, Approx. 400 p.

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 12. januára 2025
ISBN13 9789819798155
Vydavatelia Springer Verlag, Singapore
Strany 483
Rozmery 157 × 235 × 30 mm   ·   754 g

Viac od Hantao Zhang

Viac od toho istého vydavateľa