👤

Donald Gordon Johnson

1 book

Books by Donald Gordon Johnson

Improved theorem prover by usi
Improved theorem prover by using the semantics of structure
1985