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.

  • ISBN 10 0387578269
  • ISBN 13 9780387578262
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Contatto del produttorenon disponibile

(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