Autor der Publikation

The Use of Proof Plans to Sum Series.

, , und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 325-339. Springer, (1992)

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

The Use of Proof Plans to Sum Series., , und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 325-339. Springer, (1992)An Annotation Scheme for Automated Bias Detection in Wikipedia., , und . Linguistic Annotation Workshop, Seite 47-55. The Association for Computer Linguistics, (2011)Analysis of co-authorship networks among Brazilian graduate programs in computer science., , , und . CoRR, (2020)