User interfaces for theorem provers : informal proceedings of the workshop, Eindhoven University of Technology, 13-15 July 1998

Authors
    Publication date
    1 January 1998
    Publisher
    Technische Universiteit Eindhoven

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Pure OAI Repository

      redirect
      oaioai:pure.tue.nl:publications/b...
      Last time updated on 11/08/2023