Calibron's provers prove reliable
HAZARDOUS CARGO BULLETIN ; 27 , 1 ; 54-54
01.01.2006
1 pages
Aufsatz (Zeitschrift)
Englisch
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
|