Web Access Research Portal
Research Output Details
| 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] | |
| Data Type | Value |
|---|---|
| Type of Research | Pure Basic Research |
| Research Division | Mathematical Sciences |
| Research Group | Mathematical physics |
| Research Field | Mathematical physics not elsewhere classified |
| Research Objective Division | Expanding Knowledge |
| Research Objective Group | Expanding knowledge |
| Research Objective Field | Expanding knowledge in the mathematical sciences |
| Visit Item on eCite | http://ecite.utas.edu.au/8466 |