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)

Documento