Sold Out
Book Categories |
This work demonstrates 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 (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionFrom Logic Design to Logic Programming
X
This Item is in Your InventoryFrom Logic Design to Logic Programming
X
You must be logged in to review the productsX
X
X
Add From Logic Design to Logic Programming, , From Logic Design to Logic Programming to the inventory that you are selling on WonderClubX
X
Add From Logic Design to Logic Programming, , From Logic Design to Logic Programming to your collection on WonderClub |