| dc.contributor.author | Koczur, Krzysztof | pl_PL |
| dc.contributor.author | Lembas, Jacek | pl_PL |
| dc.contributor.author | Moszner, Paweł | pl_PL |
| dc.date.accessioned | 2020-09-24T19:21:03Z | |
| dc.date.available | 2020-09-24T19:21:03Z | |
| dc.date.issued | 1992 | |
| dc.identifier.citation | Rocznik Naukowo-Dydaktyczny. 1992, Z. 157, Prace z Zastosowań Informatyki w Nauczaniu 1, s. 131-151 | pl_PL |
| dc.identifier.uri | http://hdl.handle.net/11716/7652 | |
| dc.description | Dokument cyfrowy wytworzony, opracowany, opublikowany oraz finansowany w ramach programu "Społeczna
Odpowiedzialność Nauki" - modułu "Wsparcie dla bibliotek naukowych" przez Ministerstwo Nauki i Szkolnictwa Wyższego
w projekcie nr rej. SONB/SP/465103/2020 pt. "Organizacja kolekcji czasopism naukowych w
Repozytorium UP wraz z wykonaniem rekordów analitycznych". | pl_PL |
| dc.description.abstract | The system MIZAR was build in the Branch of Warsaw Uniwersity in Białystok some years ago. This system makes possible to check the "formal" corectness of mathematical proofs which are written in a precise language. The paper gives the description of this formal language. | en_EN |
| dc.description.sponsorship | Dokument cyfrowy wytworzony, opracowany, opublikowany oraz finansowany w ramach programu "Społeczna
Odpowiedzialność Nauki" - modułu "Wsparcie dla bibliotek naukowych" przez Ministerstwo Nauki i Szkolnictwa Wyższego
w projekcie nr rej. SONB/SP/465103/2020 pt. "Organizacja kolekcji czasopism naukowych w
Repozytorium UP wraz z wykonaniem rekordów analitycznych". | pl_PL |
| dc.language.iso | pl | pl_PL |
| dc.title | Podstawowe informacje o systemie MIZAR | pl_PL |
| dc.type | Article | pl_PL |
