Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Logic Program Synthesis and Transformation

5th International Workshop, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Language EnglishEnglish
Book Paperback
Book Logic Program Synthesis and Transformation Maurizio Proietti
Libristo code: 05274555
Publishers Springer, Berlin, November 1995
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... Full description
? points 125 b
51.83 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

AVUI M'HE COMPRAT UNA DESTRAL RUPPMANN TOBELLA / Book Paperback
common.buy 24.95 €
Seide von Alessandro Baricco (Lekturehilfe) Catherine Bourguignon / E-book Adobe ePub DRM
common.buy 11.56 €
Alpha - Tome 13 - Le Syndrome de Maracamba Jigounov Iouri / Book Hardback
common.buy 17.95 €
Avions et bateaux en origami Six / Book Hardback
common.buy 12.16 €
Deutsche Kriegslokomotiven / Book Paperback
common.buy 13.58 €
Des Effets de la Derivation Et Deuxieme Appendice A Mes Observations GONDRET-L-F / Book Paperback
common.buy 13.69 €
La Premiere Maitresse: Roman Contemporain Mendes-C / Book Paperback
common.buy 26.27 €
Voces sabias: El arte de vivir en tiempos de cambio ELENA GARCIA QUEVEDO / Book Paperback
common.buy 7.80 €
Germanistik - Forschungsstand und Perspektiven, Teil 1, Germanistische Sprachwissenschaft, Didaktik der Deutschen Sprache und Literatur Georg Stötzel / Book Hardback
common.buy 208.98 €

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic Program Synthesis and Transformation
Author Maurizio Proietti
Language English
Binding Book - Paperback
Date of issue 1996
Number of pages 274
EAN 9783540609391
ISBN 3540609393
Libristo code 05274555
Publishers Springer, Berlin
Weight 378
Dimensions 156 x 234 x 15

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 > 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

You might also be interested in

Septimus and the Danedyke Mystery Stephen Chance / Book Paperback
common.buy 13.89 €
Top
Breathe Peter Maguire / Book Hardback
common.buy 22.92 €
A Catechism Of Politics: For The Use Of The New Electorate (1885) Frederick August Hoffmann / Book Paperback
common.buy 21.29 €
Alabama Oh and the New Boy Micael Stefano / Book Paperback
common.buy 13.08 €
DOLPHINS AND WHALES Following my Passion Hannah E Hunter / Book Paperback
common.buy 19.37 €
Twenty Seconds and other Psychological Dramas Joseph Berger / Book Paperback
common.buy 11.25 €
Cordova Cathy R. Sherman with Photographs from T / Book Hardback
common.buy 24.64 €
Avengers: Kree/skrull War Gallery Edition THOMAS / Book Hardback
common.buy 67.35 €
Miss Colfax's Light Aimee Bissonette / Book Hardback
common.buy 15.82 €
Peasants and Government in the Russian Revolution Graeme J. Gill / Book Paperback
common.buy 32.76 €
False Memory Tony Lopez / Book Paperback
common.buy 17.24 €
My Share of the World. an Autobiography. [A Novel.] Frances Browne / Book Paperback
common.buy 24.44 €
Modern Capitalist Culture Leslie A. White / Book Hardback
common.buy 240.33 €
Beyond the Asterisk Heather J. Shotton / Book Paperback
common.buy 59.85 €
Trading Risk - Enhanced Profitability Through Risk Control Kenneth L. Grant / Book Hardback
common.buy 70.40 €
Studies in Plato and the Platonic Tradition Mark Joyal / Book Hardback
common.buy 245.10 €
Machiavelli and Epicureanism Robert J. Roecklein / Book Paperback
common.buy 69.79 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?