LINUS - A Link Instantion Prover with Unit Support.

Published in: J. Autom. Reason. (1997)

Keyphrases

real world
multimedia
data structure
end users
decision support
theorem proving
decision making
website
database systems
multi agent
query processing
support systems