John D. McCharen

List of publications from the DBLP Bibliography Server - FAQ

1976

1 John D. McCharen, Ross A. Overbeek, Larry Wos: Problems and Experiments for and with Automated Theorem-Proving Programs. IEEE Trans. Computers 25(8): 773-782 (1976)

1976
1		John D. McCharen, Ross A. Overbeek, Larry Wos: Problems and Experiments for and with Automated Theorem-Proving Programs. IEEE Trans. Computers 25(8): 773-782 (1976)

Coauthor Index