Lutz Plümer

Lutz Plümer (* 20. Januar 1951 in Rinteln) ist Professor für Geoinformation am Institut für Geodäsie und Geoinformation an der Universität Bonn. Veröffentlicht in Wikipedia
Treffer 1 – 11 von 11 für Suche 'Plümer, Lutz', Suchdauer: 0,24s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Dietrich Morgenstern zum 70. Geburtstag

    Dietrich Morgenstern zum 70. Geburtstag von Plümer, Lutz

    Veröffentlicht 2009

    Volltext öffnen
    Artikel Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Knowledge-based design of ergonomic lighting for underground scenarios

    Knowledge-based design of ergonomic lighting for underground scenarios von Burgard, Wolfram 1961-, Lüttringhaus, Stefan, Plümer, Lutz

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Automatic termination proofs for prolog programms operating on non-ground terms

    Automatic termination proofs for prolog programms operating on non-ground terms von Plümer, Lutz

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Predicate inequalities as a basis for automated termination proofs for Prolog programs

    Predicate inequalities as a basis for automated termination proofs for Prolog programs von Plümer, Lutz

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Elemente der Künstlichen Intelligenz in der anwendungsorientierten Informatik-Lehre

    Elemente der Künstlichen Intelligenz in der anwendungsorientierten Informatik-Lehre von Cremers, Armin B. 1946-, Plümer, Lutz

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Termination proofs for logic programs

    Termination proofs for logic programs von Plümer, Lutz

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Termination proofs for logic programs based on predicate inequalities

    Termination proofs for logic programs based on predicate inequalities von Plümer, Lutz

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Termination proofs for logic programs

    Termination proofs for logic programs von Plümer, Lutz

    Veröffentlicht 1990
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Termination proofs for logic programs

    Termination proofs for logic programs von Plümer, Lutz

    Veröffentlicht 1989
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Predicate inequalities as a basis for automated termination proofs for Prolog programs

    Predicate inequalities as a basis for automated termination proofs for Prolog programs von Plümer, Lutz

    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Predicate inequalities as a basis for automated termination proofs for Prolog programs

    Predicate inequalities as a basis for automated termination proofs for Prolog programs von Plümer, Lutz

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: