2: Advances in Logic Programming and Automated Reasoning by Ralph W. Wilkerson

Computers & Technology | Computer Science
2: Advances in Logic Programming and Automated Reasoning
Title:
2: Advances in Logic Programming and Automated Reasoning
Author:
Ralph W. Wilkerson
ISBN:
0893918415
ISBN13:
978-0893918415
Size PDF:
1707 kb
Size epub:
1755 kb
Publisher:
Ablex Pub (December 1, 1996)
Language:
English
Other formats:
pdf, odf, mobi, cb7, azw, lit, ibooks
Rating:
3.5
Votes:
301
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.

2: Advances in Logic Programming and Automated Reasoning by Ralph W. Wilkerson - free download