A Many-Sorted Calculus Based on Resolution and Paramodulation - Brossura

Walther, Christoph

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Book by Walther Christoph

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0273087185 ISBN 13:  9780273087182
Casa editrice: Morgan Kaufmann, 1987
Brossura