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

I ricercati. Padri e figli nel cinema italiano del Duemila
I ricercati. Padri e figli nel cinema it...
Mario Dal Bello
Il Corano e la donna. Rileggere il Testo Sacro da una prospettiva di genere
Il Corano e la donna. Rileggere il Testo...
Amina Wadud, P. Messinese, J. Guardi
Il Signore è veramente risorto. Testimonianze tra rivelazione e storia
Il Signore è veramente risorto. Testimo...
Giorgio Bouchard
Anche i cagnolini... Piccole meditazioni per la vita quotidiana e non solo
Anche i cagnolini... Piccole meditazioni...
Ceragioli Ferruccio
Il grande libro dell'astrologia
Il grande libro dell'astrologia
Belysario
Cinico Tv. Con DVD vol.1
Cinico Tv. Con DVD vol.1
Franco Maresco, Daniele Ciprì
Firenze. Viaggio nella bellezza. Ediz. italiana e inglese
Firenze. Viaggio nella bellezza. Ediz. i...
Cesati Franco, Moscato Pino
Semplicemente Elisa
Semplicemente Elisa
Michele Monina
Dottor Jekyll & Mister Hyde
Dottor Jekyll & Mister Hyde
B. Gambaccini, Robert Louis Stevenson
Kay è stata qui
Kay è stata qui
Andrea Salieri
Kurze Geschichte der Insel Elba
Kurze Geschichte der Insel Elba
K. Schneidereit, Anna Benvenuti Papi, Anna Benvenuti
Gli adesivi di maghi e streghe. Ediz. illustrata
Gli adesivi di maghi e streghe. Ediz. il...
Grieco Michael

I libri più cercati

Categorie