Items related to A Many Sorted Calculus Based on Resolution and Paramodulatio...

A Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence) - Softcover

 
9780934613491: A Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)

This specific ISBN edition is currently not available.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9780273087182: A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)

Featured Edition

ISBN 10:  0273087185 ISBN 13:  9780273087182
Publisher: Morgan Kaufmann, 1987
Softcover