Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Spedizione gratuita
Paese del venditore
Valutazione venditore
Editore: Birkhäuser (edition 1997), 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: BooksRun, Philadelphia, PA, U.S.A.
Libro
Hardcover. Condizione: Very Good. 1997. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Editore: Birkhäuser, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Libro
Hardcover. Condizione: Fine. Mint condition.
Editore: Elsevier Publishing Company, 1994
ISBN 10: 0444820922ISBN 13: 9780444820921
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Libro
Condizione: Good. 418 pp., Hardcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Editore: Springer-Verlag, Berlin, 1990
ISBN 10: 0387528377ISBN 13: 9780387528373
Da: PsychoBabel & Skoob Books, Didcot, Oxfordshire, OXON, Regno Unito
Libro Prima edizione
paperback. Condizione: Good. Condizione sovraccoperta: No Dust Jacket. No Earlier Edition Stated. Slightly worn cover. Clean Copy.
Editore: Elsevier Science Ltd, 1994
ISBN 10: 0444820922ISBN 13: 9780444820921
Da: Ammareal, Morangis, Francia
Libro
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.
Editore: Springer Verlag, 1990
ISBN 10: 0387528377ISBN 13: 9780387528373
Da: Libros Ambigú, Madrid, Spagna
Libro
Condizione: Normal. Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1 Normal.
Editore: Springer, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: New.
Editore: Springer, 1990
ISBN 10: 0387528377ISBN 13: 9780387528373
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New. pp. viii + 142 Index.
Editore: Elsevier Science Ltd, 1994
ISBN 10: 0444820922ISBN 13: 9780444820921
Da: Ammareal, Morangis, Francia
Libro
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.
Editore: Amsterdam: Elsevier, 1994
ISBN 10: 0444820922ISBN 13: 9780444820921
Da: Plurabelle Books Ltd, Cambridge, Regno Unito
Membro dell'associazione: GIAQ
Libro
Hardcover. Condizione: 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.
Editore: Springer, 1990
ISBN 10: 0387528377ISBN 13: 9780387528373
Da: Majestic Books, Hounslow, Regno Unito
Libro
Condizione: New. pp. viii + 142 Illus.
Editore: Springer 1990-07, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condizione: New. Presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. This book discusses several nontrivial examples. Series: Lecture Notes in Computer Science. Num Pages: 150 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 8. Weight in Grams: 510. . 1990. Paperback. . . . .
Editore: Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 156 pp. Englisch.
Editore: Springer Berlin Heidelberg, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: 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.
Editore: Springer Berlin Heidelberg, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: moluna, Greven, Germania
Libro Print on Demand
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 achiev.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: Kennys Bookstore, Olney, MD, U.S.A.
Libro
Condizione: New. Presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. This book discusses several nontrivial examples. Series: Lecture Notes in Computer Science. Num Pages: 150 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 8. Weight in Grams: 510. . 1990. Paperback. . . . . Books ship from the US and Ireland.
Editore: Birkhäuser, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Hardcover. Condizione: new.
Editore: Wichmann, H, 2004
ISBN 10: 387907416XISBN 13: 9783879074167
Da: Buchpark, Trebbin, Germania
Libro
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. 1. Auflage 2004. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | ISBN/EAN: 387907416x[Sonstiges].
Editore: Birkhäuser, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Birkhäuser, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: New.
Editore: BIRKHAUSER VERLAG, BASEL, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: Pórtico [Portico], ZARAGOZA, Spagna
Libro Prima edizione
Tapa blanda. Condizione: New. 1ª edición. FOERSTNER, W. / L. PLUEMER, EDS.: SEMANTIC MODELING FOR THE ACQUISITION OF TOPOGRAPHIC INFORMATION FROM IMAGES AND MAPS. SMATI 97. BASEL, 1997, vii 227 p. figuras, 670 gr. Encuadernacion original. Nuevo. (HZD) 670 gr. Libro.
Editore: Birkhäuser, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New. pp. 244.
Editore: Birkhäuser, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Libro
Condizione: New.
Editore: Springer, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: Majestic Books, Hounslow, Regno Unito
Libro Print on Demand
Condizione: New. Print on Demand pp. 244 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Editore: Birkhauser Verlag AG, 1997
ISBN 10: 3764357584ISBN 13: 9783764357580
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condizione: New. Contains papers which were presented at the Workshop 'SMATI '97'. This volume offers a comprehensive selection of contributions, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision and image understanding. Editor(s): Forstner, Wolfgang; Plumer, Lutz. Num Pages: 238 pages, biography. BIC Classification: RGS; RGW; UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 14. Weight in Grams: 1150. . 1997. Hardback. . . . .
Editore: Springer, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: dsmbooks, Liverpool, Regno Unito
Libro
Paperback. Condizione: Like New. Like New. book.
Editore: Springer, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: As New. Unread book in perfect condition.