Login / Signup
Parallel Logic Simulation: Myth or Reality?
Kai-Hui Chang
Chris Browy
Published in:
Computer (2012)
Keyphrases
</>
simulation model
asynchronous cellular automata
logic programming
simulation environment
automated reasoning
classical logic
proof theory
real time
machine learning
artificial intelligence
search algorithm
mathematical model
modal logic
epistemic logic
queuing systems