Articoli correlati a Higher Order Logic Theorem Proving and Its Applications:...

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

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3540578269 ISBN 13:  9783540578260
Casa editrice: Springer, 2008
Brossura