Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science - Zhe Hou - Książki - Springer Nature Switzerland AG - 9783030878849 - 5 grudnia 2022
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 1st ed. 2021 edition

Zhe Hou

Cena
zł 261,90

Zamówione z odległego magazynu

Przewidywana dostawa 10 - 17 paź

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 1st ed. 2021 edition

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.

222 pages, 6 Illustrations, color; 28 Illustrations, black and white; X, 222 p. 34 illus., 6 illus.

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 5 grudnia 2022
ISBN13 9783030878849
Wydawcy Springer Nature Switzerland AG
Strony 222
Wymiary 233 × 155 × 17 mm   ·   366 g
Język German  

Zobacz wszystko od Zhe Hou ( np. Paperback Book i Hardcover Book )