Order Total (1 Item Items):
Shipping Destination:
Flener Pierre (28 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (28)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (22)
- As New, Fine or Near Fine (5)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (15)
- Not Print on Demand (21)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Logic Program Synthesis from Incomplete Information
Book 203 of 260: The Springer International Series in Engineering and Computer Science£ 5.81 10% off£ 5.23
£ 17.82 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. 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. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, U. K., June 15-19, 1998, Selected Papers
Language: English
Published by Springer Berlin / Heidelberg, 1999
ISBN 10: 3540657657 ISBN 13: 9783540657651
Condition: Very Good. 1999th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: As New. Unread book in perfect condition.
-
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.62
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Logic-Based Program Synthesis and Transformation : 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Logic-Based Program Synthesis and Transformation : 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
Language: English
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540657657 ISBN 13: 9783540657651
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
-
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295)
Book 203 of 260: The Springer International Series in Engineering and Computer ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 134.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science)
Book 203 of 260: The Springer International Series in Engineering and Computer ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 134.62
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Condition: New. pp. 268 Figures, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam,
-
Taschenbuch. Condition: Neu. Logic Program Synthesis from Incomplete Information | Pierre Flener | Taschenbuch | xviii | Englisch | 2012 | Springer | EAN 9781461359258 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Condition: New. pp. 268, Abbreviations.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.
-
Condition: New. Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative.
-
Logic Program Synthesis from Incomplete Information (International Series in Engineering and Computer Science)
Book 203 of 260: The Springer International Series in Engineering and Computer ScienceLanguage: English
Published by Kluwer Academic Publishers, 1994
ISBN 10: 0792395328 ISBN 13: 9780792395324
(Hardcover). Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
-
Logic Program Synthesis from Incomplete Information
Book 203 of 260: The Springer International Series in Engineering and Computer ScienceLanguage: English
Published by Springer Us Dez 1994, 1994
ISBN 10: 0792395328 ISBN 13: 9780792395324
Buch. Condition: Neu. Neuware - Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.
-
Logic-Based Program Synthesis and Transformation
Language: English
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540657657 ISBN 13: 9783540657651
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully re.
-
Logic-Based Program Synthesis and Transformation
Language: English
Published by Springer Berlin Heidelberg Mrz 1999, 1999
ISBN 10: 3540657657 ISBN 13: 9783540657651
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations. 348 pp. Englisch.
-
Logic-Based Program Synthesis and Transformation
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1999, 1999
ISBN 10: 3540657657 ISBN 13: 9783540657651
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.
-
Condition: new. Questo è un articolo print on demand.
-
Logic Program Synthesis from Incomplete Information
Book 203 of 260: The Springer International Series in Engineering and Computer ScienceLanguage: English
Published by Springer US, Springer New York Sep 2012, 2012
ISBN 10: 1461359252 ISBN 13: 9781461359258
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis. 264 pp. Englisch.
-
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative.
-
Logic Program Synthesis from Incomplete Information
Book 203 of 260: The Springer International Series in Engineering and Computer ScienceLanguage: English
Published by Springer US, Springer New York Sep 2012, 2012
ISBN 10: 1461359252 ISBN 13: 9781461359258
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly.This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach.This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
