Recomienda este artículo a tus amigos:
Logic in Computer Science Hantao Zhang 2024 edition
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Hantao Zhang
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Logic in Computer Science
Hantao Zhang
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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de enero de 2025 |
| ISBN13 | 9789819798155 |
| Editores | Springer Verlag, Singapore |
| Páginas | 483 |
| Dimensiones | 157 × 235 × 30 mm · 754 g |
Mas por Hantao Zhang
Mostrar todo![Cover for Hantao Zhang · Automated Mathematical Induction (Paperback Book) [Softcover reprint of the original 1st ed. 1996 edition] (2011)](https://imusic.b-cdn.net/images/item/original/502/9789401072502.jpg?hantao-zhang-2011-automated-mathematical-induction-paperback-book&class=scaled&v=1608782864)
Más del mismo editor
![Cover for Glycoconjugates of the Pancreas (Hardcover Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/669/9789819947669.jpg?2027-glycoconjugates-of-the-pancreas-hardcover-book&class=scaled&v=1774521203)
![Cover for Ram Kumar Mishra · Government Performance Management: Experiences and Lessons for India - SpringerBriefs in Business (Paperback Book) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/647/9789811613647.jpg?ram-kumar-mishra-2026-government-performance-management-experiences-and-lessons-for-india-springerbriefs-in-business-paperback-book&class=scaled&v=1694194972)
Ver todo de Hantao Zhang ( Ej. Paperback Book )