STORAGE TERMINALS - Calibron's provers prove reliable
Hazardous cargo bulletin ; 27 , 1
2006
Article (Journal)
Unknown
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
|