University of Tasmania
Browse

File(s) not publicly available

Automated Theorem Proving and Its Prospects

journal contribution
posted on 2023-05-21, 22:29 authored by Fearnley-Sander, DP
No description available

History

Publication title

PSYCHE:An Interdisciplinary Journal of Research on Consciousness

Issue

28

Pagination

1-9

ISSN

1039-723X

Department/School

School of Natural Sciences

Publisher

Association for the Scientific Study of Consciousness

Place of publication

United States

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