Search
Now showing items 1-1 of 1
Podstawowe informacje o systemie MIZAR
(1992)
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 ...