Advances in logic programming and automated reasoning (Book, 1992) [WorldCat.org]
skip to content
Advances in logic programming and automated reasoning
Checking...

Advances in logic programming and automated reasoning

Author: Ralph W Wilkerson
Publisher: Norwood, NJ : Ablex Pub. Corp., 1992-
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; 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
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.