Currently not logged in | Wish List | Recent searches | Sign in

Book Details Advanced Search Out-of-print Top Sellers Browse Books Wish List
 Search: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science) : ISBN: 0387182179
  Add to Favorites Email this page Link To Us
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
By: Dominique Snyers Andre Thayse
ISBN-10: 0387182179    ISBN-13: 9780387182179
Publisher: Springer - 1987-09
Paperback | 125 Pages | List Price: $57.95 (USD) | Sales Rank: 6566443
Product Dimensions: 9.3 x 6.4 x 0.4 inches

Similar Titles
All Editions Customer Reviews
More details from or
Compare book prices at 130 bookstores in a click!
Add this book into my Wish List

 

Editorial Reviews Customer Reviews Write a Review Add to Wish List Compare Prices
It is shown that theorem proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (e.g. hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).


Add Your Review!

Read more reviews from Amazon.com or Barnes&Noble.com



Portion of these reviews are from Amazon.com or Barnes&Noble.com, Customer reviews are properties of their respective creators.





Other titles you may be interested:
Logic Programming: Proceedings of the Tenth Intern...
Paperback | The MIT Press | 1993-06-24 | listprice: $95.00 | ISBN: 0262731053
Eco-Logic : Logic-Based Approaches to Ecological M... (By David Robertson,Alan Bundy,Robert Meutzelfeldt,Mandy Haggith,Michael Uschold)
Hardcover | The MIT Press | 1991-02-04 | listprice: $37.50 | ISBN: 0262181436
Programming Logic & Design with Elements of Linux ... (By Todd Meadors Joyce Farrell)
Paperback | Course Technology | 2006 | ISBN: 1418848506
Handbook of Logic in Artificial Intelligence and L... (By Dov M. Gabbay,C. J. Hogger,J. A. Robinson)
Hardcover | Oxford University Press, USA | 1994-04-21 | listprice: $275.00 | ISBN: 0198537468
From Modal Logic to Deductive Databases: Introduci... (By Paul Gochet(Contributor),Andre Thayse(Editor))
Paperback | John Wiley & Sons Inc | 1989-08 | listprice: $74.95 | ISBN: 0471923451
Logic Programming - Vol. 2: Proceedings of the Fif...
Hardcover | MIT Press | 1988-08 | ISBN: 0262610558
Logic Programming: Proceedings of the 1998 Joint I...
Paperback | The MIT Press | 1998-05-29 | listprice: $95.00 | ISBN: 0262600315
Logic Programming - Vol. 1: Proceedings of the Fif...
Hardcover | MIT Press | 1988-08 | ISBN: 026261054X
From Logic Design to Logic Programming: Theorem Pr... (By Dominique Snyers,Andre Thayse)
Paperback | Springer-Verlag | 1987-09-01 | listprice: $49.95 | ISBN: 0387182179
Logic Programming: Proceedings of the Fourth Inter... (By Jean-Louis Lassez)
Paperback | MIT Press | 1987-08-01 | listprice: $30.00 | ISBN: 0262121298
From Standard Logic to Logic Programming: Introduc... (By Andre Thayse(Editor))
Paperback | John Wiley & Sons Inc | 1988-08 | listprice: $54.95 | ISBN: 0471918385
Prolog ++: The Power of Object-Oriented and Logic ... (By Chris Moss)
Paperback | Addison Wesley Longman | 1994-07-01 | listprice: $47.00 | ISBN: 0201565072

Top Sellers
0374299250 Lush Life: A Novel
by Richard Price
1595550925 Come On People: On the Path from Victims to Victors
by Bill Cosby
076360013X Guess How Much I Love You
by Sam McBratney
0316015849 Twilight (The Twilight Saga, Book 1)
by Stephenie Meyer
1582701709 The Secret
by Rhonda Byrne
0810993139 Diary of a Wimpy Kid
by Jeff Kinney
0375841946 Horton Hears a Who Pop-up!
by Dr Seuss
0787960756 The Five Dysfunctions of a Team: A Leadership Fable
by Patrick M. Lencioni











» Add BookFinder4U to your browser's Favorites
» Add BookFinder4U to your online bookmarks:  Add BookFinder4U to del.icio.us   Add BookFinder4U to google bookmark  Add BookFinder4U to Yahoo bookmark  Add BookFinder4U to furl








    Help   
Search by TITLE AUTHOR KEYWORD ISBN  Advanced Search






BookFinder 4U.com Suggestion Box:
Let us know anything good or bad about this website and help us improve!

Page loading time: 0.40625 sec. | URL: http://www.bookfinder4u.com/detail/0387182179.html



©2008 BookFinder4U.com   Compare 130 bookstores - All rights Reserved.

Disclaim: Part of content on this site is properties of their respective owners and copyright holders. Bookfinder4u will not under any circumstances be liable to you or any other person for any loss due to the use of these content. Some of the content that we make available to you through this website comes from amazon web services. All such content is provided to you "as is." this content and your use of it are subject to change and/or removal at any time.


Privacy Commitment  Conditions of Use