
Proof Assistants and Their Applications in Mathematics and Computer Science
- Toimittaja
- Jasmin Blanchette, Assia Mahboubi
- ISBN
- 9783031851896
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 12.2.2026
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 390