Uneingeschränkter Zugang

Pseudo-Canonical Formulae are Classical

Formalized Mathematics's Cover Image
Formalized Mathematics
Special Issue: 25 years of the Mizar Mathematical Library

Zitieren

Marco B. Caminati
School of Computer Science University of Birmingham Birmingham, B15 2TT United Kingdom
Artur Korniłowicz
Institute of Informatics University of Białystok Sosnowa 64, 15-887 Białystok Poland
eISSN:
1898-9934
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
Volume Open
Fachgebiete der Zeitschrift:
Mathematik, Allgemeines, Informatik, andere