Vertel uw vrienden over dit artikel:
Logic in Computer Science Hantao Zhang 2024 edition
Prijs
€ 63,49
Besteld in een afgelegen magazijn
Verwachte levering 14 - 22 okt.
Ontvang meldingen over nieuwe releases van Hantao Zhang
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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.
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 12 januari 2025 |
| ISBN13 | 9789819798155 |
| Uitgevers | Springer Verlag, Singapore |
| Pagina's | 483 |
| Afmetingen | 157 × 235 × 30 mm · 754 g |
![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)
![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 Harmonious and Symbiotic Interaction in Artificial Intelligence and Robotics: Creating Co-Experience Knowledge and Wisdom (Hardcover Book) [2021 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yu Hui · Traditional Chinese Music Research: An Insider's Exploration (Hardcover Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/931/9789819763931.jpg?yu-hui-2027-traditional-chinese-music-research-an-insider-s-exploration-hardcover-book&class=scaled&v=1774341101)
![Cover for D. S. Ramana · Arithmetical Aspects of the Large Sieve Inequality - Texts and Readings in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/189/9789819247189.jpg?d-s-ramana-2027-arithmetical-aspects-of-the-large-sieve-inequality-texts-and-readings-in-mathematics-hardcover-book&class=scaled&v=1788248108)
![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)
