Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 - Couverture souple

 
9780387578262: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993
Couverture souple
ISBN 10 : 0387578269 ISBN 13 : 9780387578262

Synopsis

Book by Joyce Jeffrey J Seger CarlJohan H

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Langue
anglais
ISBN 10 
0387578269
ISBN 13 
9780387578262
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540578260: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Edition présentée

ISBN 10 :  3540578269 ISBN 13 :  9783540578260
Editeur : Springer, 2008
Couverture souple