|
|
Sold Out
Book Categories |
| Preface | ||
| 1 | Wos and Automated Deduction at ANL: The Ethos | 1 |
| 2 | A Completeness Result for Linked Resolution | 13 |
| 3 | Generic Automatic Proof Tools | 23 |
| 4 | Automated Generation of Construction Steps for Geometric Constraint Problems | 49 |
| 5 | 33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies | 71 |
| 6 | Specifying Latin Square Problems in Propositional Logic | 115 |
| 7 | Mechanized Formal Reasoning about Programs and Computing Machines | 147 |
| 8 | Constructors Can Be Partial, Too | 177 |
| 9 | Metalevel Reasoning for Controlling Automated Reasoning Programs | 211 |
| Contributors | 231 | |
| A Bibliography of Larry Wos | 235 | |
| Index | 243 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Ryan Schweitzberger
reviewed Automated Reasoning and Its Applications: Essays in Honor of Larry Wos on June 20, 2015
Automated Reasoning and Its Applications
A good book in content and diverse information, but the author needs to explain processes better, many topics needed more details to flesh-out his message.
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 List
X
This item is in your Collection
Automated Reasoning and Its Applications: Essays in Honor of Larry Wos
X
This Item is in Your Inventory
Automated Reasoning and Its Applications: Essays in Honor of Larry Wos
X
You must be logged in to review the productsX
X
X
Add Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, , Automated Reasoning and Its Applications: Essays in Honor of Larry Wos to the inventory that you are selling on WonderClubX
X
Add Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, , Automated Reasoning and Its Applications: Essays in Honor of Larry Wos to your collection on WonderClub |