Items related to Advances in Logic Programming and Automated Reasoning...
Synopsis
Begins a series reporting new research on the methods of logic in computer science, designed to stimulate and sustain productive lines of investigation into the theory and applications of symbolic and algebraic computing techniques related to logic programming and automated deduction. The eight articles discuss parallel deduction methods using connection graphs, order-sorted equational logic programming, an automated decision procedure based on the notion of the semantic tableau, and other topics. The price to individuals is $35. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
- PublisherAblex Pub
- Publication date1996
- ISBN 10 0893918415
- ISBN 13 9780893918415
- BindingHardcover
- LanguageEnglish
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
