Login / Signup
: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.
Marcus Klar
Robert Geisler
Felix Cornelius
Published in:
COMPASS/ADT (1995)
Keyphrases
</>
user interaction
theorem prover
data mining
case study
computer graphics
virtual reality
neural network
high level
probabilistic model
higher order
data visualization
formal specification
nonlinear equations
delay insensitive