![](/img/cover-not-exists.png)
[IEEE Automata Theory - USA (1973.10.15-1973.10.17)] 14th Annual Symposium on Switching and Automata Theory (swat 1973) - Automatic theorem-proving and the decision problem
Joyner, William H.Year:
1973
Language:
english
DOI:
10.1109/swat.1973.2
File:
PDF, 933 KB
english, 1973