A Many-Sorted Calculus Based on Resolution and Paramodulation - Couverture souple

Walther, Christoph

 
9780273087182: A Many-Sorted Calculus Based on Resolution and Paramodulation

Autres éditions populaires du même titre

9780934613491: A Many-Sorted Calculus Based on Resolution and Paramodulation

Edition présentée

ISBN 10 :  0934613494 ISBN 13 :  9780934613491
Editeur : Morgan Kaufmann Publishers In, 1994
Couverture souple