Statistics on logic simulation.

Kenneth F. Wong Mark A. Franklin Roger D. Chamberlain Brian L. Shing

Published in: DAC (1986)

Keyphrases

information systems
simulation model
automated reasoning
simulation study
modal logic
real world
artificial intelligence
website
image sequences
data structure