|
Autor
|
 Grabowski, Adam. Uniwersytet w Białymstoku. Wydział Matematyki i Informatyki.
|
|
Nazwa imprezy
|
International Conference, CICM.
|
|
Autor
|
Byliński, Czesław. Uniwersytet w Białymstoku.
|
|
|
Korniłowicz, Artur. Uniwersytet w Białymstoku. Wydział Matematyki i Informatyki.
|
|
|
Matuszewski, Roman. Uniwersytet w Białymstoku. Wydział Filologiczny.
|
|
|
Naumowicz, Adam. Uniwersytet w Białymstoku. Wydział Matematyki i Informatyki.
|
|
|
Pąk, Karol. Uniwersytet w Białymstoku. Wydział Matematyki i Informatyki.
|
|
W:
|
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / eds. Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
|
|
Tytuł
|
Mizar: State-of-the-art and Beyond / Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pa̧k, Josef Urban
|
|
Adres wydawniczy
|
Washington : Springer, 2015. - S. 261-279
|
|
Seria
|
Lecture Notes in Computer Science vol. 9150
|
|
Lokalizacja elektr.
|
 http://link.springer.com/chapter/10.1007/978-3-319-20615-8_17 Link do publikacji
|
|
ISBN/ISSN
|
978-3-319-20614-1
|