Sold Out
Book Categories |
1 | Monotone logic programming | 1 |
2 | Theory and practice of temporal logic programming | 23 |
3 | A simple proof of the completeness of temporal logic programming | 51 |
4 | Metalevel features in the object level: modal and temporal logic progamming III | 85 |
5 | Basic defeasible logic | 125 |
6 | Negation and linear completion | 155 |
7 | A promenade from provability to consistency | 195 |
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 CollectionIntensional logics for programming
X
This Item is in Your InventoryIntensional logics for programming
X
You must be logged in to review the productsX
X
X
Add Intensional logics for programming, Intensional logics provide a comprehensive theoretical basis for establishing the foundations of programming. This volume offers seminal work on the use of intensional logics for the semantic analysis of logic programs, and programming in intensional, Intensional logics for programming to the inventory that you are selling on WonderClubX
X
Add Intensional logics for programming, Intensional logics provide a comprehensive theoretical basis for establishing the foundations of programming. This volume offers seminal work on the use of intensional logics for the semantic analysis of logic programs, and programming in intensional, Intensional logics for programming to your collection on WonderClub |