Flow MD a new name in provers
Hazardous cargo bulletin ; 29 , 6
2008
Article (Journal)
Unknown
British Library Online Contents | 2008
Calibron's provers prove reliable
British Library Online Contents | 2006
STORAGE TERMINALS - Calibron's provers prove reliable
Online Contents | 2006
First-Order Proof Tactics in Higher-Order Logic Theorem Provers
British Library Conference Proceedings | 2003
|