Rozwijanie metody matematycznej z wykorzystaniem systemu Mizar
| dc.contributor.advisor | Klakla, Maciej | |
| dc.contributor.author | Borak, Ewa | |
| dc.date.accessioned | 2015-03-06T12:09:28Z | |
| dc.date.available | 2015-03-06T12:09:28Z | |
| dc.date.issued | 2013 | |
| dc.identifier.uri | http://hdl.handle.net/11716/155 | |
| dc.description | Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Wydział Matematyczno-Fizyczno-Techniczny. Rozprawa doktorska napisana pod kierunkiem prof. dr hab. Macieja Klakli. | pl_PL |
| dc.language.iso | pl | pl_PL |
| dc.title | Rozwijanie metody matematycznej z wykorzystaniem systemu Mizar | pl_PL |
| dc.type | Thesis | pl_PL |