Vampire (Theorem Prover): Automated Theorem Proving, First Order Logic, Classical Victoria University of Manchester
Prijzen vanaf
41,32
Uitgelicht
|
41,32 |
Naar shop
|
|
41,32 |
Naar shop
|
| VERGELIJK ALLE AANBIEDERS (2) | ||
Beschrijving
Vampire (Theorem Prover): Automated Theorem Proving, First Order Logic, Classical Victoria University of Manchester
Beschrijving
(0)
Vampire (Theorem Prover): Automated Theorem Proving, First Order Logic, Classical Victoria University of Manchester
Productspecificaties
Gerelateerde resultaten
Uitgelichte Keuze
41,32
