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

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Book by Joyce Jeffrey J Seger CarlJohan H

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

Lingua
Inglese
ISBN 10 
0387578269
ISBN 13 
9780387578262
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania