[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Logic Program Synthesis and Transformation - Meta-Programming in Logic

Language EnglishEnglish
Book Paperback
Book Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Libristo code: 05274447
Publishers Springer, Berlin, November 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Numerical Analysis Richard L Burden / Hardback
common.buy 133.26 €
Bewußtheit durch Bewegung Moshé Feldenkrais / Paperback
common.buy 10.70 €
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Paperback
common.buy 89.16 €
Not on This Board You Don't Arthur C. Frantzreb / Hardback
common.buy 37.88 €
Journey Back Houston A. Baker / Paperback
common.buy 37.56 €
Vitae Parallelae, Vol. III, F CB Plutarchus / Book
common.buy 185.71 €
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Paperback
common.buy 19.21 €
Aspects of class in select plays by Tennessee Williams and their film adaptations Sabine Rohrhofer / Paperback
common.buy 87.02 €
Soundwürfel Bauernhof / Toy
common.buy 16.05 €
Man's Place in Evolution British Museum / Paperback
common.buy 14.33 €
Decade 1 JOHN KENNY / Paperback
common.buy 20.11 €
Origins of Stars and Planets: The VLT View Joao F. Alves / Paperback
common.buy 134.22 €

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994.This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

About the book

Full name Logic Program Synthesis and Transformation - Meta-Programming in Logic
Author Laurent Fribourg, Franco Turini
Language English
Binding Book - Paperback
Date of issue 2000
Number of pages 458
EAN 9783540587927
ISBN 3540587926
Libristo code 05274447
Publishers Springer, Berlin
Weight 602
Dimensions 156 x 234 x 23

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account