Rozwijanie metody matematycznej z wykorzystaniem systemu Mizar

Thumbnail
Oglądaj/Otwórz
Autor:
Borak, Ewa
Promotor:
Klakla, Maciej
Język: pl
Data: 2013
Metadata
Pokaż pełny rekord
Opis:
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
Pozycja umieszczona jest w następujących kolekcjach