Experience with Isabelle A generic theorem prover

Authors
Publication date
1 January 1988
Publisher

Abstract

Preliminary versionAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--143) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

    Similar works

    Full text

    thumbnail-image

    Available Versions

    PORTO Publications Open Repository TOrino

    redirect
    oaioai:porto.polito.it:2571145
    Last time updated on 16/02/2017

    UPCommons. Portal del coneixement obert de la UPC

    redirect
    oaioai:upcommons.upc.edu:2117/168...
    Last time updated on 16/06/2016

    PORTO@iris (Publications Open Repository TOrino - Politecnico di Torino)

    redirect
    oaioai:iris.polito.it:11583/25711...
    Last time updated on 30/10/2019

    UPCommons

    redirect
    oaioai:upcommons.upc.edu:2117/168...
    Last time updated on 17/04/2020