Sold Out
Book Categories |
Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming.
Robinson's (University Professor, Syracuse U.) work in laying the computational foundation for computer science has exerted a profound influence on such fields as automated theorem proving, unification theory, term-rewriting systems, functional programming, and logic programming. Reflecting Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming in a collection that ranges from surveys of major areas to new results in more specialized topics. Annotation c. Book News, Inc., Portland, OR (booknews.com)
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 CollectionComputational Logic: Essays in Honor of Alan Robinson
X
This Item is in Your InventoryComputational Logic: Essays in Honor of Alan Robinson
X
You must be logged in to review the productsX
X
X
Add Computational Logic: Essays in Honor of Alan Robinson, Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new res, Computational Logic: Essays in Honor of Alan Robinson to the inventory that you are selling on WonderClubX
X
Add Computational Logic: Essays in Honor of Alan Robinson, Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new res, Computational Logic: Essays in Honor of Alan Robinson to your collection on WonderClub |