eCite Digital Repository

Automated Theorem Proving and Its Prospects

Citation

Fearnley-Sander, DP, Automated Theorem Proving and Its Prospects, PSYCHE:An Interdisciplinary Journal of Research on Consciousness, 2, (28) pp. 1-9. ISSN 1039-723X (1996) [Letter or Note in Journal]

Item Details

Item Type:Letter or Note in Journal
Research Division:Mathematical Sciences
Research Group:Mathematical Physics
Research Field:Mathematical Physics not elsewhere classified
Objective Division:Expanding Knowledge
Objective Group:Expanding Knowledge
Objective Field:Expanding Knowledge in the Mathematical Sciences
Author:Fearnley-Sander, DP (Mr Desmond Fearnley-Sander)
ID Code:8882
Year Published:1996
Deposited By:Mathematics
Deposited On:1996-08-01
Last Modified:2011-09-26
Downloads:0

Repository Staff Only: item control page