Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Logical Proving in PVS


    Beteiligte:
    Aaron Dutle (Autor:in)

    Kongress:

    28th International Conference on Automated Deduction ; 2021 ; Virtual, US


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Proving concorde

    Engineering Index Backfile | 1969


    European proving trial

    Mackenzie, D.K. / Newcomb, T.P. / Watton, B. | Engineering Index Backfile | 1966


    Proving their mettle

    Stagl, Jeff | IuD Bahn | 2002


    Proving the Concorde

    Emerald Group Publishing | 1971


    Proving the Concorde

    Emerald Group Publishing | 1969