Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Semantic Modeling for the Acquisition of Topographic Information from Images and Maps Semantic Modeling for the Acquisition of Topographic Information from Images and Maps

    Semantic Modeling for the Acquisition of Topographic Information from Images and Maps

    Lutz Plümer
    Birkhäuser Basel, Springer Basel
    01.05.1997

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

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Termination Proofs for Logic Programs Termination Proofs for Logic Programs

    Termination Proofs for Logic Programs

    Lutz Plümer
    Springer, Springer
    24.07.1990

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1