Search results for: Andrea Kohlhase
Lecture Notes in Computer Science > The Semanic Web: Research and Applications > Demo Track > 471-475
Lecture Notes in Computer Science > Mathematical Knowledge Management > Contributed Papers > 179-193
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 355-369
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session I: Foundations > 17-32
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 313-326
Lecture Notes in Computer Science > KI 2010: Advances in Artificial Intelligence > Human-Machine Interaction > 107-115
Procedia Computer Science > 2011 > 4 > Complete > 598-607