eCite Digital Repository

Book Review: QUAIFE, A. Automated Development of Fundamental Mathematical Theories, Kluwer Academic Publishers (1992)

Citation

Fearnley-Sander, DP, Book Review: QUAIFE, A. Automated Development of Fundamental Mathematical Theories, Kluwer Academic Publishers (1992), The Australian Computer Journal, 27, (1) pp. 29. ISSN 0004-8917 (1995) [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:8466
Year Published:1995
Deposited By:Mathematics
Deposited On:1995-08-01
Last Modified:2011-09-29
Downloads:0

Repository Staff Only: item control page