The book store at your door!
Logic Program Synthesis And Transformation - Meta-programming In Logic
(Paperback - 30111994)by Write a Review
|  off  |
Available. Order now and get it in 18-20 business days. See Details
All India - Free Shipping. See Details
Ships to India only.
Buy online using:
- Credit Card (VISA & MasterCard)
- Debit Card or Internet Banking Account (all major Indian Banks accepted)
- Cheque, Demand Draft or Money Order. See Details
Publisher: Springer
OR
Book: Logic Program Synthesis And Transformation - Meta-programming In Logic
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.
(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.
No Reviews Yet! Be the first one to review this book.
Details of Book: Logic Program Synthesis And Transformation - Meta-programming In Logic Book: Logic Program Synthesis And Transformation - Meta-programming In Logic
Author: Laurent Fribourg, Franco Turini
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 30111994
Publisher: Springer
Number of Pages: 468
Language: English
Author: Laurent Fribourg, Franco Turini
ISBN:
3540587926
ISBN-13:
9783540587927
,978-3540587927
Binding: Paperback
Publishing Date: 30111994
Publisher: Springer
Number of Pages: 468
Language: English
2 States: The Story Of My Marriage by Chetan BhagatFourth book by the bestselling author Chetan Bhagat.
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
Popular at Flipkart.comAll The Sad Young Literary Men | Basic Environmental Health | The Photoshop And Painter Artist Tablet Book | The Geography Of Bliss | Alabama | What In Hell Is Going On Up There? | Memoir Of The Life Of Richard Phillips | Selected Poems Of Matthew Arnold | The Wonders Of Instinct | That Wife Of Mine | The Sunny Side Of Ireland | The History Of Mendelssohn's Oratorio 'elijha' | Claudia And Duffy | Lita | Tonka Super-ly Duper-ly Fun 5-in-1 C & A Boo | Studies In Matthew | Landon Carter | Ellen Fremedon | Observations On The Letter Of Monsieur Mariette | Snoring From A To Zzzz | An Essay On The Cardinal Points | British War Finance, 1914-1915 | Thunder | The Doctrine Of The New Jerusalem Concerning The Lord | The Life And Epistles Of St. Paul V1 | The Queen Of Hearts | Guy Rivers | Life At High Tide | Methodism And The Frontier | Wa-wa-wanda | An Account Of The Genealogy, And Other Memoirs Concerning The Family Of Loraine | Colored Pencil Step By Step | Organic Production And Use Of Alternative Crops | A Child Is Born | Iblc | Breaking Free From Partner Abuse | Development And Flexibility | Aircraft Instruments | Jane Eyre | The Two Surplices | The Churchman's Life Of Wesley | Bulletin Of The Torrey Botanical Club | more...
Your Recent Searches (click to search again)
| stephen covey maharishi mahesh yogi y c fung m m ripley s | tmh joseph addison neill seltzer brett helquist jim stewart |
Book: Logic Program Synthesis And Transformation - Meta-programming In Logic by Laurent Fribourg, Franco Turini
ISBN Number: 3540587926, 9783540587927, 978-3540587927