University of Tasmania
Browse

File(s) not publicly available

Inductive Equational Reasoning

conference contribution
posted on 2023-05-23, 02:26 authored by Bulmer, M
No description available

History

Volume

Berlin

Editors

Foo, N and Goebel, R

Pagination

13-22

Department/School

School of Natural Sciences

Publisher

Springer

Event title

PRICAI'96

Event Venue

Cairns

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

    Categories

    Keywords

    No keyword provided

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC