Search results for: Christoph Schwarzweller
Formalized Mathematics > 2017 > 25 > 3 > 185-195
Formalized Mathematics > 2017 > 25 > 1 > 63-72
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session II: Authoring > 49-64
Formalized Mathematics > 2016 > 24 > 3 > 227-237
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 300-314
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 235-249
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
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session VII: MKM Case Studies > 299-314
Formalized Mathematics > 2015 > 23 > 4 > 333-349
Formalized Mathematics > 2014 > 22 > 4 > 291-301
Formalized Mathematics > 2014 > 22 > 2 > 111-118
Formalized Mathematics > 2013 > 21 > 1 > 47-53
Formalized Mathematics > 2012 > 20 > 2 > 181-191
Studies in Logic, Grammar and Rhetoric > 2009 > 18(31) > 35-50