Digital Logic Simulator.

Vladimir Pavlovic Zarko Stanisavljevic Bosko Nikolic Jovan Dordevic

Published in: ECBS-EERC (2011)

Keyphrases

predicate logic
simulation model
database
real time
databases
artificial intelligence
logic programming
test bed
probability theory
multi valued
real world
machine learning
learning algorithm
digital content
defeasible logic