nach oben

Erschienen in:

Open Access 01.10.2015

Definitional Expansions in Mizar

In memoriam of Andrzej Trybulec, a pioneer of computerized formalization

verfasst von: Artur Korniłowicz

Titel: Definitional Expansions in Mizar
In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
verfasst von: Artur Korniłowicz
Publikationsdatum: 01.10.2015
Verlag: Springer Netherlands
Erschienen in: Journal of Automated Reasoning / Ausgabe 3/2015
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-015-9331-7