Adam Grabowski

Adam Grabowski

University at Bialystok - Bialystok / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1766224
Uniwersytet w Białymstoku
person_outline Adam Grabowski's MOST POPULAR ARTICLES
1-) Mizar: State-of-the-art and BeyondG Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...Intelligent Computer Mathematics, 261-279, 20151952015
2-) Mizar in a NutshellA Grabowski, A Kornilowicz, A NaumowiczJournal of Formalized Reasoning 3 (2), 153-245, 20101892010
3-) The Role of the Mizar Mathematical Library for Interactive Proof Development in MizarG Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...Journal of Automated Reasoning, 1-24, 0137
4-) Four Decades of MizarA Grabowski, A Korniłowicz, A NaumowiczJournal of Automated Reasoning 55 (3), 191-198, 20151332015
5-) Boolean posets, posets under inclusion and products of relational structuresA Grabowski, R MilewskiFormalized Mathematics 6 (1), 117-121, 1997621997