Autor der Publikation

Mathematical Service Matching Using Description Logic and OWL.

, , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

International symposium on symbolic and algebraic computation poster abstracts 2003.. SIGSAM Bull., 37 (3): 65 (2003)An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series.. DISCO, Volume 721 von Lecture Notes in Computer Science, Seite 203-214. Springer, (1992)Position Paper: Description Schemes for Mathematical Web Services., , und . EuroWeb, BCS, (2002)Connecting Proof Checkers and Computer Algebra Using OpenMath., und . TPHOLs, Volume 1690 von Lecture Notes in Computer Science, Seite 109-112. Springer, (1999)Shapes of Educational Data in an Online Calculus Course.. J. Learn. Anal., (Juli 2017)Mathematical Service Matching Using Description Logic and OWL., , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2004)On the Role of OpenMath in Interactive Mathematical Documents., und . J. Symb. Comput., 32 (4): 351-364 (2001)Mathematics on the (Semantic) NET., , , und . ESWS, Volume 3053 von Lecture Notes in Computer Science, Seite 213-224. Springer, (2004)JAVA Phrasebooks for computer algebra and automated deduction., , und . SIGSAM Bull., 34 (2): 33-37 (2000)The Future of Mathematics Education in Europe., und . ERCIM News, (2008)