Acceso abierto

Pseudo-Canonical Formulae are Classical

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

Cite

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
Idioma:
Inglés
Calendario de la edición:
Volume Open
Temas de la revista:
Mathematics, General Mathematics, Computer Sciences, other