lutz plümer

Grid   List

  1. Termination Proofs for Logic Programs

    Taschenbuch
    Print on Demand

    Termination proofs constitute a crucial part of program verification. Much research about termina...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  2. Semantic Modeling for the Acquisition of Topographic Information from Images and Maps

    Buch
    Print on Demand

    Acquiring spatial data for geoinformation systems is still mainly done by human operators who ana...

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1