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

Walther

 
9780934613491: A Many-Sorted Calculus Based on Resolution and Paramodulation
Couverture souple
ISBN 10 : 0934613494 ISBN 13 : 9780934613491
Editeur : Morgan Kaufmann Publishers In, 1994

L'édition de cet ISBN n'est malheureusement plus disponible.

Éditeur
Morgan Kaufmann Publishers In
Date d'édition
1994
Langue
anglais
ISBN 10 
0934613494
ISBN 13 
9780934613491
Reliure
Broché
Nombre de pages
160
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  0273087185 ISBN 13 :  9780273087182
Editeur : Morgan Kaufmann, 1987
Couverture souple