Calibron's provers prove reliable
HAZARDOUS CARGO BULLETIN ; 27 , 1 ; 54-54
2006-01-01
1 pages
Article (Journal)
English
DDC: | 388.044 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
STORAGE TERMINALS - Calibron's provers prove reliable
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
|Prove alla vasca e prove in mare
Engineering Index Backfile | 1934
|