Autor der Publikation

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

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case., , und . J. Autom. Reason., 33 (3-4): 251-269 (2004)Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership.. Comput. Lang., 1 (3): 197-218 (1976)A Computerized Referee., , , und . Reasoning, Action and Interaction in AI Theories and Systems, Volume 4155 von Lecture Notes in Computer Science, Seite 117-139. Springer, (2006)Algorithmic Motion Planning in Robotics., und . Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A), Elsevier and MIT Press, (1990)Reduction in Strength of High Level Operations., und . POPL, Seite 58-71. ACM, (1977)Programming with Sets - An Introduction to SETL., , , und . Texts and Monographs in Computer Science Springer, (1986)Discrete thougths. Essays on mathematics, science, and philosophy, , und . Birkhäuser, 2 Edition, (1992)On the Bivariate Function Minimization Problem And Its Applications to Motion Planning., und . ICALP, Volume 267 von Lecture Notes in Computer Science, Seite 357-363. Springer, (1987)Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs., und . J. Autom. Reason., 7 (2): 231-256 (1991)What programmers should know.. SIGSAM Bull., 9 (3): 26-27 (1975)