|
|
Sold Out
Book Categories |
| Automated Deduction with Constraints | 1 | |
| Local Simplification | 3 | |
| Simplifying Clausal Satisfiability Problems | 19 | |
| Ordered Binary Decision Diagrams and the Davis-Putnam Procedure | 34 | |
| A Foundation for Higher-Order Concurrent Constraint Programming | 50 | |
| Constraints for Polymorphic Behaviours of Concurrent ML | 73 | |
| A Confluent Relational Calculus for Higher-Order Programming with Constraints | 89 | |
| Modular AC-Unification of Higher-Order Patterns | 105 | |
| Higher-Order Disunification: Some Decidable Cases | 121 | |
| "Syntactic" AC-Unification | 136 | |
| Applications of Constraint Logic Programming | 152 | |
| Repeated Redundant Inequalities in Constraint Logic Programming | 154 | |
| An Efficient Algorithm of Logic Programming with Constraint Hierarchy | 170 | |
| Application of Constraint Logic Programming for VLSI CAD Tools | 183 | |
| Path Consistency in clp(FD) | 201 | |
| Symbolic Constraints and Tree Automata | 217 | |
| A Record Calculus with Principal Types | 219 | |
| ECOLOG: an Environment for COntraint LOGics | 237 | |
| On Modularity in Term Rewriting and Narrowing | 253 | |
| Higher-Order Conditional Rewriting and Narrowing | 269 | |
| Buchberger's Algorithm: a Constraint-Based Completion Procedure | 285 | |
| Set Constraints and Logic Programming | 302 | |
| Set Constraints in Some Equational Theories | 304 | |
| How to Win a Game with Features | 320 | |
| Some New Decidability Results on Positive and Negative Set Constraints | 336 | |
| Solving Simplification Ordering Constraints | 352 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
James Mulcock
reviewed Constraints in Computational Logics on December 19, 2019
Constraints in Computational Logics
This book is very useful to the Computer Science Under graduate students.
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
Constraints in Computational Logics
X
This Item is in Your Inventory
Constraints in Computational Logics
X
You must be logged in to review the productsX
X
X
Add Constraints in Computational Logics, , Constraints in Computational Logics to the inventory that you are selling on WonderClubX
X
Add Constraints in Computational Logics, , Constraints in Computational Logics to your collection on WonderClub |