File(s) not publicly available
Book Review: QUAIFE, A. Automated Development of Fundamental Mathematical Theories, Kluwer Academic Publishers (1992)
journal contribution
posted on 2023-05-21, 22:27 authored by Fearnley-Sander, DPNo description available
History
Publication title
The Australian Computer JournalVolume
27Pagination
29ISSN
0004-8917Department/School
School of Natural SciencesPublisher
Australian computer societyPlace of publication
AustraliaRepository Status
- Restricted