Logic, Biology and Automata - Some Historical Reflections.
Arthur W. BurksPublished in: Int. J. Man Mach. Stud. (1975)
Keyphrases
- classical logic
- logic programming
- predicate logic
- modal logic
- cellular automata
- deontic logic
- finite state
- multi valued
- probabilistic automata
- artificial intelligence
- asynchronous circuits
- tree automata
- knowledge representation
- probability theory
- computational biology
- finite state machines
- regular expressions
- knowledge base