Login / Signup
Fact Calculus: Using ORM and Lisa-D to Reason About Domains.
Stijn Hoppenbrouwers
Henderik Alex Proper
Theo P. van der Weide
Published in:
OTM Workshops (2005)
Keyphrases
</>
real world
conceptual modeling
machine learning
database
application domains
formal language
computer algebra