PC Mizar Presentation

Darmochwal, Agata

TYTUŁ ARTYKUŁU

PC Mizar Presentation

AUTORZY: Agata Darmochwal
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1991 / Tom 20 / Numer 3-4
STRONY: 92 - 93
ROK: 1991
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Agata Darmochwal, PC Mizar Presentation, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 92 - 93

BIBTEX

Agata Darmochwal. PC Mizar Presentation. Bulletin of the Section of Logic, 20(3-4):92–93, 1991.

Pokaż kod BibTeX

@article{bazhum226107,
  author = {Darmochwal, Agata},
  title = {{PC Mizar Presentation}},
  journal = {Bulletin of the Section of Logic},
  year = {1991},
  volume = {20},
  number = {3-4},
  pages = {92--93},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/226107}
}