Proof Assistants and Their Applications in Mathematics and Computer Science
(Bog, Hardback, Engelsk)
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9783031851896
- Se flere detaljer ▼
Forventes på lager: 11-11-2026
Beskrivelse
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 11-11-2026 |
| Første udgivelsesår | 2026 |
| Serie | Computer Science Foundations and Applied Logic |
| Illustrationer | 40 Illustrations, black and white |
| Fagredaktør | Jasmin Blanchette, Assia Mahboubi |
| Originalsprog | Switzerland |
| Sideantal | 390 |
| Indbinding | Hardback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 390 pages, 40 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031851896 |