Login / Signup
From Domain to Requirements.
Dines Bjørner
Published in:
Concurrency, Graphs and Models (2008)
Keyphrases
</>
special case
domain specific
domain independent
artificial intelligence
database
neural network
decision trees
evolutionary algorithm
user requirements