Search results for: Piotr Rudnicki
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 327-341
Lecture Notes in Computer Science > Mathematical Knowledge Management > Regular Contributions > 162-174
Lecture Notes in Computer Science > Mathematical Knowledge Management > Regular Contributions > 119-132
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Mathematical Knowledge Management 2011 > 149-163
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 455-469
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification I > 188-203
Formalized Mathematics > 2013 > 21 > 2 > 83-85
Journal of Automated Reasoning > 2013 > 50 > 2 > 229-241
Formalized Mathematics > 2012 > 20 > 2 > 161-174
Formalized Mathematics > 2011 > 19 > 1 > 27-34
Comparative Professional Pedagogy > 2010 > 82 > 4 > 230-232
Polish Journal of Surgery > 2010 > 82 > 4 > 230-232
Environmental Geochemistry and Health > 2010 > 32 > 4 > 361-366
Formalized Mathematics > 2009 > 17 > 4 > 223-232
Formalized Mathematics > 2008 > 16 > 2 > 91-96
Comparative Professional Pedagogy > 2007 > 79 > 4 > 269-272
Polish Journal of Surgery > 2007 > 79 > 4 > 269-272
Polish Journal of Chemical Technology > 2007 > 9 > 2 > 37-41