Logic in Computer Science
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 H...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Yhteisötekijä: | |
| Aineistotyyppi: | Elektroninen E-kirja |
| Kieli: | englanti |
| Julkaistu: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2025.
|
| Painos: | 1st ed. 2025. |
| Aiheet: | |
| Linkit: | https://doi.org/10.1007/978-981-97-9816-2 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Järjestelmä pois käytöstä
Kirjastojärjestelmä on juuri nyt pois käytöstä.
Saatavuustiedot eivät ole juuri nyt käytettävissä. Pahoittelemme tästä aiheutunutta vaivaa. Voitte ottaa yhteyttä: