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

Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings - Rilegato

 
9780387584508: Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings
Rilegato
ISBN 10: 0387584501 ISBN 13: 9780387584508

Al momento non sono disponibili copie per questo codice ISBN.

  • ISBN 10 0387584501
  • ISBN 13 9780387584508
  • RilegaturaCopertina rigida
  • 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

9783540584506: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: 859

Edizione in evidenza

ISBN 10:  3540584501 ISBN 13:  9783540584506
Casa editrice: Springer, 2008
Brossura