Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science - Zhe Hou - Libros - Springer Nature Switzerland AG - 9783030878849 - 5 de diciembre de 2022
En caso de que portada y título no coincidan, el título será el correcto

Zhe Hou
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 2021 edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Zhe Hou

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de diciembre de 2022
ISBN13 9783030878849
Editores Springer Nature Switzerland AG
Páginas 222
Dimensiones 233 × 155 × 17 mm   ·   366 g
Lengua Alemán  

Más del mismo editor

Ver todo de Zhe Hou ( Ej. Hardcover Book y Paperback Book )