Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Calibron's provers prove reliable


    Published in:

    Publication date :

    2006-01-01


    Size :

    1 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    388.044




    Flow MD a new name in provers

    Online Contents | 2008


    Flow MD a new name in provers

    British Library Online Contents | 2008


    First-Order Proof Tactics in Higher-Order Logic Theorem Provers

    Hurd, J. / NASA | British Library Conference Proceedings | 2003


    Prove alla vasca e prove in mare

    De Santis, R. | Engineering Index Backfile | 1934