Login / Signup
The CASSANDRA Project: A 2nd Order CASE Tool in Prolog.
Markus Schacher
Published in:
PACPL (2000)
Keyphrases
</>
real time
expert systems
artificial neural networks
knowledge representation
theorem proving
european project