Libreria Fernandez
Carrello: | Liste dei desideri | Vai alla Cassa
TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)

TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)

Prezzo: € 15,00
Aggiungi a lista dei desideri
Momentaneamente non ordinabile

Dettagli Libro

  • Titolo: TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
  • Autore: Basin David, Wolff Burkhart
  • Curatore:
  • Traduttore:
  • Illustratore:
  • Editore: Aracne
  • Collana:
  • Data di Pubblicazione: 2003
  • Pagine: 244
  • Formato:
  • ISBN: 9788879995467
  • Filosofia - Filosofia

Libri che ti potrebbero interessare

Memo manuale con schemi e tavole sinottiche di amministrativo
Memo manuale con schemi e tavole sinotti...
Garofoli Roberto
Mille stickers. Animali
Mille stickers. Animali
Mille stickers. Mezzi di trasporto
Mille stickers. Mezzi di trasporto
Vega Edizioni
Formulario del mediatore e dell'arbitro. Mediazione civile e commerciale. Conciliazione. Arbitrato. Con CD-ROM
Formulario del mediatore e dell'arbitro....
Nicola Soldati
Come si acquista o si vende un appartamento (ufficio, negozio, magazzino), un immobile, un'area fabbricabile
Come si acquista o si vende un appartame...
Francesco Tamborrino, Marina Tamborrino
La tutela penale dei mercati finanziari. La fattispecie penale a rischio default
La tutela penale dei mercati finanziari....
Panagia Salvatore
Collaudo tecnico amministrativo. Dalla nomina dell'organo di collaudo all'emissione del certificato. Con CD-ROM (Il)
Collaudo tecnico amministrativo. Dalla n...
Francesco Musci
Non aveva la faccia
Non aveva la faccia
Cardinali Sergio
Textile
Textile
R. Scardi, Orly Castel-Bloom, Ofra Bannet, O. Bannet
Il bibliotecario
Il bibliotecario
S. Guagnelli, Michail Elizarov
Il libertario di Nebrodi
Il libertario di Nebrodi
Alibrandi Giuseppe
Il collezionista di stelle
Il collezionista di stelle
Venuto Pietro

I libri più cercati

Categorie