Skip to contents

  4. Schubert, E. Thomas [Editor] ; International Workshop on Higher Order Logic Theorem Proving and Its Applications 8 1995 Aspen Grove, Utah

    Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1995

    Published in: Lecture notes in computer science ; 971

  5. Joyce, Jeffrey J. [Other] ; HUG 6 1993 Vancouver, British Columbia

    Higher order logic theorem proving and its applications : 6th international workshop, HUG '93, Vancouver, B.C., Canada, August 11 - 13, 1993 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 78000

  7. Melham, T. F. [Other] ; International Workshop on Higher Order Logic Theorem Proving and Its Applications 7 1994 Valletta

    Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1994 ; 2006

    Published in: Lecture notes in computer science ; 85900