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

Intelligence

by Christoph Walther

Paperback

ISBN: 978-0-273-08718-2

ISBN-10: 0-273-08718-5

Morgan Kaufmann · 1987