Computer Science Foundations and Applied Logic Proof Assistants Their Applications in Mathematics
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(2)
69,99
Uitgelicht
|
69,99 |
Naar shop
|
|
69,99 |
Naar shop
|
Beschrijving
Computer Science Foundations and Applied Logic Proof Assistants Their Applications in Mathematics
Computer Science Foundations and Applied Logic Proof Assistants Their Applications in Mathematics