Items related to Advances in Logic Programming and Automated Reasoning:...
Advances in Logic Programming and Automated Reasoning: v. 1 (Advances in logic programming & automated reasoning) - Hardcover
Synopsis
This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification.
"synopsis" may belong to another edition of this title.
- PublisherIntellect
- Publication date1992
- ISBN 10 0893916838
- ISBN 13 9780893916831
- BindingHardcover
- LanguageEnglish
- Number of pages200
Search results for Advances in Logic Programming and Automated Reasoning:...
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
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