How to prove theorems using dialogue
Fuks, H.; Pequeno, M.; Sadler, M.
How to prove theorems using dialogue.
Proc 5th Israeli Symposium on Artificial Intelligence, pp 383-397, 1988.
Cited by 1 (Google Scholar)
Abstract: