Powiedz znajomym o tym przedmiocie:
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 1st ed. 2021 edition
Zhe Hou
Cena
₩ 92.400
Zamówione z odległego magazynu
Przewidywana dostawa 22 - 29 lis
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
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
Zhe Hou
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 )