Search results for: Adam Naumowicz
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 9-32
Formalized Mathematics > 2017 > 25 > 1 > 49-54
Formalized Mathematics > 2016 > 24 > 4 > 301-308
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Mathematical Knowledge Management 2011 > 149-163
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Invited Tutorials > 67-72
Journal of Automated Reasoning > 2015 > 55 > 3 > 191-198
Journal of Automated Reasoning > 2015 > 55 > 3 > 285-294
Formalized Mathematics > 2014 > 22 > 2 > 177-178
Formalized Mathematics > 2013 > 21 > 2 > 87-94
Journal of Automated Reasoning > 2013 > 50 > 2 > 119-121
Formalized Mathematics > 2011 > 19 > 2 > 65-68
Formalized Mathematics > 2011 > 19 > 1 > 1-9
Studies in Logic, Grammar and Rhetoric > 2009 > 18(31) > 89-101
Journal of Applied Logic > 2006 > 4 > 4 > 396-413
Formalized Mathematics > 2006 > 14 > 4 > 221-223
Results in Mathematics > 2004 > 45 > 1-2 > 115-136