eCite Digital Repository

Automated Theorem Proving and Its Prospects


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
UTAS 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

Repository Staff Only: item control page