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

How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS., und . GeoInformatica, 9 (2): 139-158 (2005)Models for photogrammetric building reconstruction., , , , , , , und . Computers & Graphics, 19 (1): 109-118 (1995)Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms.. ISLP, Seite 503-517. MIT Press, (1991)Simplex Distributions for Embedding Data Matrices over Time., , , , , , , , und . SDM, Seite 295-306. SIAM / Omnipress, (2012)An Information System for the Mining Industry., , , , , und . DEXA, Seite 86-91. Springer-Verlag, Wien, (1991)Termination Proofs for Logic Programs. Lecture Notes in Computer Science Springer, (1990)Automatic Verification of Parallel Logic Programs: Termination.. Logic Programming: Formal Methods and Practical Applications, Elsevier Science B.V./North-Holland, (1995)Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination., , und . IEEE Intelligent Systems, 15 (1): 33-39 (2000)Termination proofs for logic programs.. Technical University of Dortmund, Germany, (1989)Sustainable SDI for EU noise mapping in NRW- best practice for INSPIRE., , , und . IJSDIR, (2007)