Agata Darmochwal
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
PC Mizar Presentation Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 3-4 / s. 92 - 931991CZYSTY TEKST
Agata Darmochwal, PC Mizar Presentation, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 92 - 93
BIBTEX@Article{ authors = " Agata Darmochwal", title = "PC Mizar Presentation", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "92 - 93" }
