Aquarius: Logic simulation on an Engineering Workstation.

Andrew Sangster John Monahan

Published in: DAC (1983)

Keyphrases

software engineering
mathematical model
data mining
artificial intelligence
computer science
logic programming
engineering design
simulation models
classical logic
information systems
e learning
case study
medical images
numerical simulations
modal logic
electrical engineering