An automated prover for Zermelo–Fraenkel set theory in Theorema release_u6hy66okqvcypmjm7sifbyyg3i

by Wolfgang Windsteiger

Published in Journal of symbolic computation by Elsevier BV.

2006   Volume 41, Issue 3-4, p435-470

Archived Files and Locations

application/pdf  489.6 kB
file_m75oapcaerhh5nuup5wicfcpz4
web.archive.org (webarchive)
www.risc.jku.at (web)
web.archive.org (webarchive)
www.risc.uni-linz.ac.at (web)
application/pdf  251.7 kB
file_llcnwrlddjgm7cnsqzcqsk6oza
www.risc.jku.at (web)
web.archive.org (webarchive)
www.risc.uni-linz.ac.at (web)
web.archive.org (webarchive)
application/pdf  663.0 kB
file_l3ofc3nrcbgm3g6daf67hnukym
web.archive.org (webarchive)
publisher-connector.core.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2006
Language   en ?
Journal Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0747-7171
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 19a11bd7-eb6d-4a8c-9cd1-54bae48773f1
API URL: JSON