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
Synopsis
Book by Walther, Christoph
"synopsis" may belong to another edition of this title.
Language Notes
Text: English, German (translation)
"About this title" may belong to another edition of this title.