Login / Signup
Regular Algebras.
Simon Foster
Georg Struth
Published in:
Arch. Formal Proofs (2014)
Keyphrases
</>
decision making
data sets
databases
genetic algorithm
search engine
high level
temporal reasoning
spatial reasoning
context free
topological spaces