Login / Signup
Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity.
Dominique Snyers
André Thayse
Published in:
IEEE Trans. Computers (1986)
Keyphrases
</>
state machine
automatic theorem proving
databases
website
design process
engineering design
data sets
neural network
information retrieval
computer aided
activity theory
state machines