Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Calibron's provers prove reliable


    Erschienen in:

    Erscheinungsdatum :

    01.01.2006


    Format / Umfang :

    1 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    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