Categoria
Forma del prodotto
prezzo massimo
Risultato ricerca (Senza esauriti, Metamathematics)
Proof Assistants and Their Applications in Mathematics and Computer Science
Inglese, Tedesco
01.01.2026
Copertina rigida
CHF 104.00