An Automata Theory Dedicated towards Formal Circuit Synthesis.

Dirk Eisenbiegler Ramayya Kumar

Published in: TPHOLs (1995)

Keyphrases

automata theory
graph theory
learning theory
student learning
computer science
data mining
college level
artificial intelligence
mobile learning
learning tools
learning objectives