Recomienda este artículo a tus amigos:
Logic in Computer Science Hantao Zhang 2024 edition
Precio
Mex$ 1.209
sin IVA
Pedido desde almacén remoto
Entrega prevista 24 de jun. - 6 de jul.
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)
Mere med samme udgiver
![Cover for Mycotoxins: A Global Challenge for Food Safety & Security - Mycotoxins (Hardcover Book) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/347/9789811065347.jpg?2026-mycotoxins-a-global-challenge-for-food-safety-security-mycotoxins-hardcover-book&class=scaled&v=1738063266)
![Cover for Kate Shaw · The Squander and Salvage of Global Urban Waterfronts (Paperback Book) [1st ed. 2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/469/9789811369469.jpg?kate-shaw-2026-the-squander-and-salvage-of-global-urban-waterfronts-paperback-book&class=scaled&v=1570219621)
Ver todo de Hantao Zhang ( Ej. Paperback Book )