Artículos relacionados a A Many-Sorted Calculus Based on Resolution and Paramodulatio...

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

Walther, Christoph

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