STORAGE TERMINALS - Calibron's provers prove reliable
Hazardous cargo bulletin ; 27 , 1 ; 54
2006
Aufsatz (Zeitschrift)
Unbekannt
Calibron's provers prove reliable
British Library Online Contents | 2006
Online Contents | 2008
British Library Online Contents | 2008
First-Order Proof Tactics in Higher-Order Logic Theorem Provers
British Library Conference Proceedings | 2003
|