Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    STORAGE TERMINALS - Calibron's provers prove reliable


    Erschienen in:

    Erscheinungsdatum :

    2006



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    BKL:    55.86 Schiffsverkehr, Schifffahrt / 55.40 Schiffstechnik, Schiffbau
    Lokalklassifikation TIB:    275/5380



    Calibron's provers prove reliable

    British Library Online Contents | 2006


    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