Find a copy in the library
Finding libraries that hold this item...
Details
Additional Physical Format: | Online version: Advances in logic programming and automated reasoning. Norwood, NJ : Ablex Pub. Corp., 1992- (OCoLC)622457319 |
---|---|
Document Type: | Book |
All Authors / Contributors: |
Ralph W Wilkerson |
ISBN: | 0893916838 9780893916831 |
OCLC Number: | 23386593 |
Description: | volumes <1> : illustrations ; 24 cm |
Contents: | Parallel deduction of connection graphs; equations, order sortedness, and inheritance in logic programming; an automated decision procedure based on the semantic tableau for singly general predicate logic with identity; AP - an assertional programming system; theory and applications of the parallel knowledge-based system; a semantic network logic suitable for parallel implementation; a primitive recursive programming language for a complete and enumerable hoare verification system; logic program synthesis. |
Responsibility: | edited by Ralph W. Wilkerson. |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "Advances in logic programming and automated reasoning".
Be the first.