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

On Communicating Proofs in Interactive Mathematical Documents., und . AISC, Volume 1930 von Lecture Notes in Computer Science, Seite 53-64. Springer, (2000)A Web Registry for Publishing and Discovering Mathematical Services., , und . EEE, Seite 190-193. IEEE Computer Society, (2005)Extending RISC-CLP (Real) to Handle Symbolic Functions.. DISCO, Volume 722 von Lecture Notes in Computer Science, Seite 241-255. Springer, (1993)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)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)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)Mathematics on the (Semantic) NET., , , und . ESWS, Volume 3053 von Lecture Notes in Computer Science, Seite 213-224. Springer, (2004)Mathematical service matching using description logic and OWL, und . (2004)