Uneingeschränkter Zugang

Multiplication-Related Classes of Complex Numbers

   | 09. Jan. 2021

Zitieren

[1] Marco B. Caminati and Giuseppe Rosolini. Custom automations in Mizar. Journal of Automated Reasoning, 50(2):147–160, 2013.10.1007/s10817-012-9266-1Search in Google Scholar

[2] Artur Korniłowicz. On rewriting rules in Mizar. Journal of Automated Reasoning, 50(2): 203–210, 2013.10.1007/s10817-012-9261-6Search in Google Scholar

[3] Karol Pąk. Improving legibility of natural deduction proofs is not trivial. Logical Methods in Computer Science, 10, 2014.10.2168/LMCS-10(3:23)2014Search in Google Scholar

eISSN:
1898-9934
ISSN:
1426-2630
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
Volume Open
Fachgebiete der Zeitschrift:
Informatik, andere, Mathematik, Allgemeines