Home About Browse Search StatisticsPES | Administrators

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

Searching

Advanced Search

Easy Search

Browsing

Statistics

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. (1995) [Letter or Note in Journal]

Item Type:	Letter or Note in Journal
Subjects:	Mathematical Sciences
Subjects:	Mathematical Physics
Subjects:	Mathematical Physics not elsewhere classified
Subjects:	Expanding Knowledge
Subjects:	Expanding Knowledge
Subjects:	Expanding Knowledge in the Mathematical Sciences
Creator:	Fearnley-Sander, DP (Mr Desmond Fearnley-Sander)
ID Code:	8466
Year Published:	1995
Deposited By:	Mathematics
Deposited On:	1995-08-01
Last Modified:	1996-02-01
Downloads:	0

Repository Staff Only: item control page

eCite.UTas Stats

HitseCite RODA Server is powered by RMDB 6.0.9.1 developed by Research Services at the University of Tasmania. More information.