Login / Signup
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
Christoph Lüth
Burkhart Wolff
Published in:
J. Funct. Program. (1999)
Keyphrases
</>
graphical user interfaces
theorem prover
user interface
automated reasoning
design methodology
implementation issues
circuit design
artificial intelligence
theorem proving
hardware architecture
computer algebra
high level