Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science - Zhe Hou - Livres - Springer Nature Switzerland AG - 9783030878849 - 5 décembre 2022
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Zhe Hou

Prix
Fr. 58,49

Commandé depuis un entrepôt distant

Livraison prévue 21 - 28 nov.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits 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.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 5 décembre 2022
ISBN13 9783030878849
Éditeurs Springer Nature Switzerland AG
Pages 222
Dimensions 233 × 155 × 17 mm   ·   366 g
Langue et grammaire German