Initial experiments with TPTP-style automated theorem provers on ACL2 problems

S.J.C. Joosten, C. Kaliszyk, J. Urban

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    2 Citaten (Scopus)
    1 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Initial experiments with TPTP-style automated theorem provers on ACL2 problems'. Samen vormen ze een unieke vingerafdruk.

    Computer Science