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

 
9780893916831: Advances in Logic Programming and Automated Reasoning: v. 1 (Advances in logic programming & automated reasoning)

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

Buy Used

Condition: As New
Appears unread. May have a retail...
View this item

£ 5.92 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780893918415: Advances in Logic Programming and Automated Reasoning (2)

Featured Edition

ISBN 10:  0893918415 ISBN 13:  9780893918415
Publisher: Ablex Pub, 1996
Hardcover

Search results for Advances in Logic Programming and Automated Reasoning:...

Stock Image

Wilkerson, Ralph
Published by Intellect Ltd, 1992
ISBN 10: 0893916838 ISBN 13: 9780893916831
Used Hardcover

Seller: PAPER CAVALIER US, Brooklyn, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: as new. Appears unread. May have a retail sticker on back cover or remainder mark on the text block. Seller Inventory # 9780893916831-2

Contact seller

Buy Used

£ 25.15
Convert currency
Shipping: £ 5.92
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ralph W. Wilkerson
Published by Intellect Ltd, 1992
ISBN 10: 0893916838 ISBN 13: 9780893916831
Used Hardcover

Seller: Wonder Book, Frederick, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

£ 22.81
Convert currency
Shipping: £ 14.80
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket