Dynamically Typed Computations for Order-Sorted Equational Presentations.

Claus Hintermeier Claude Kirchner Hélène Kirchner

Published in: J. Symb. Comput. (1998)

Keyphrases

order sorted
predicate logic
higher order
theorem proving
multimedia
theorem prover
artificial intelligence
lambda calculus
real time
neural network
machine learning
computer science
higher level
domain independent