Search results for: Grzegorz Bancerek
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 9-32
Lecture Notes in Computer Science > Mathematical Knowledge Management > Contributed Papers > 266-279
Formalized Mathematics > 2016 > 24 > 2 > 95-106
Lecture Notes in Computer Science > Mathematical Knowledge Management > Regular Contributions > 119-132
Formalized Mathematics > 2014 > 22 > 3 > 225-255
Formalized Mathematics > 2014 > 22 > 2 > 125-155
Formalized Mathematics > 2014 > 22 > 1 > 37-56
Formalized Mathematics > 2013 > 21 > 1 > 1-23
Formalized Mathematics > 2013 > 21 > 1 > 41-46
Formalized Mathematics > 2012 > 20 > 2 > 147-155
Formalized Mathematics > 2012 > 20 > 4 > 309-341
Formalized Mathematics > 2012 > 20 > 3 > 239-256
Formalized Mathematics > 2012 > 20 > 1 > 7-14
Formalized Mathematics > 2011 > 19 > 4 > 241-250
Formalized Mathematics > 2011 > 19 > 2 > 83-92
Formalized Mathematics > 2011 > 19 > 2 > 93-102
Formalized Mathematics > 2010 > 18 > 1 > 65-75
Formalized Mathematics > 2009 > 17 > 4 > 249-256