Search results for: Agnieszka Rowinska-Schwarzweller
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 371-380
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 427-439
Formalized Mathematics > 2013 > 21 > 1 > 47-53
Formalized Mathematics > 2006 > 14 > 4 > 135-142