A Prototype Generic Proof Tool Supporting the Embedding of Formal Notations

Authors
Publication date
1 October 1998
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Southampton (e-Prints Soton)

    redirect
    oaioai:eprints.soton.ac.uk:250516
    Last time updated on 05/04/2012