An Implementation of the Heine-Borel Covering Theorem in Type Theory

Authors
Publication date
1 December 1996
Publisher
'Springer Fachmedien Wiesbaden GmbH'

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    University of Twente Research Information

    redirect
    oaioai:ris.utwente.nl:publication...
    Last time updated on 12/07/2023