Advances in Logic Programming and Automated Reasoning
Ralph W. Wilkerson · Medical Entomology and Zoology · 1996
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.