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.
- PublisherIntellect Ltd
- Publication date1992
- ISBN 10 0893916838
- ISBN 13 9780893916831
- BindingHardcover
- LanguageEnglish
- Number of pages270
- EditorWilkerson Ralph W.
Search results for Advances in Logic Programming and Automated Reasoning
Stock Image
Advances in Logic Programming and Automated Reasoning
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Good condition. Volume 1. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. Seller Inventory # R05OS-00596
Quantity: 1 available
Stock Image
Advances in Logic Programming and Automated Reasoning
Seller: PAPER CAVALIER US, Brooklyn, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: as new. Appears unread. May have a retail sticker on back cover or remainder mark on the text block. Seller Inventory # 9780893916831-2
Quantity: 1 available