Login / Signup
Equational Specification of Dynamic Objects.
Roel J. Wieringa
Published in:
DS-4 (1990)
Keyphrases
</>
theorem proving
databases
formal specification
data mining
machine learning
theorem prover
equational theories
real time
artificial intelligence