Logic simulation engines in Japan.

Shigeru Takasaki Fumiyasu Hirose Akihiko Yamada

Published in: IEEE Des. Test (1989)

Keyphrases

simulation models
database
logic programming
real time
machine learning
mathematical model
logical framework
classical logic
nonmonotonic logics