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)

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0934613494 ISBN 13:  9780934613491
Editorial: Morgan Kaufmann Publishers In, 1994
Tapa blanda