Rozwijanie metody matematycznej z wykorzystaniem systemu Mizar

Thumbnail
View/Open
Author:
Borak, Ewa
xmlui.dri2xhtml.METS-1.0.item-advisor:
Klakla, Maciej
xmlui.dri2xhtml.METS-1.0.item-iso: pl
Date: 2013
Metadata
Show full item record
Description:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Wydział Matematyczno-Fizyczno-Techniczny. Rozprawa doktorska napisana pod kierunkiem prof. dr hab. Macieja Klakli.
URI
http://hdl.handle.net/11716/155
Collections