University of Tasmania
Browse

File(s) not publicly available

A logic of definitional reasoning

conference contribution
posted on 2023-05-23, 02:26 authored by Fearnley-Sander, DP
No description available

History

Volume

18

Editors

Houle, ME and Eades, P

Pagination

81-89

Department/School

School of Natural Sciences

Publisher

Australian Computer Science Communications

Event title

CATS'96

Event Venue

Melbourne

Date of Event (Start Date)

1996-01-01

Date of Event (End Date)

1996-01-01

Repository Status

  • Restricted

Socio-economic Objectives

Expanding knowledge in the mathematical sciences

Usage metrics

    University Of Tasmania

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC