Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer-Verlag, Berlin, 1990
ISBN 10: 0387528377ISBN 13: 9780387528373
Anbieter: PsychoBabel & Skoob Books, Didcot, Oxfordshire, OXON, Vereinigtes Königreich
Buch Erstausgabe
paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. No Earlier Edition Stated. Slightly worn cover. Clean Copy.
Verlag: Springer Berlin Heidelberg, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose specialdifficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming.
Verlag: Birkhäuser Basel, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. Acquiring spatial data for geoinformation systems is still mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some low level image processing. Automation of these tasks is diffi.
Verlag: Amsterdam: Elsevier, 1994
ISBN 10: 0444820922ISBN 13: 9780444820921
Anbieter: Plurabelle Books Ltd, Cambridge, Vereinigtes Königreich
Verbandsmitglied: GIAQ
Buch
Hardcover. Zustand: Very Good. Series: Studies in Computer Science and Artificial Intelligence 404p grey cloth with red lettering, a nice clean copy, unused, minimal library marking, tight and clean, year of publiction in book given as 1995 Language: English.