Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Higher-Order Pattern Unification and Proof Irrelevance



    Kongress:

    International conference; 15th, Theorem proving in higher order logics ; 2002 ; Hampton, VA


    Erscheinungsdatum :

    01.01.2002


    Format / Umfang :

    7 pages


    Anmerkungen:

    Also known as TPHOLs 2002. Collated with the proceedings of the workshop on formalising continuous mathematics (FCM 2002)


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

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


    Unloved Aerial Vehicles: Gutting its UAV plan, the Air Force sets a course for irrelevance

    Spinetta, L. / Cummings, M.L. | DSpace@MIT | 2012

    Freier Zugriff

    Australian gauge unification

    Engineering Index Backfile | 1945



    A Higher Level Bailey Lemma: Proof and Application

    Schilling, A. / Warnaar, S. O. | British Library Online Contents | 1998