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

Enea Silvio Piccolomini, papa Pio II. Asia
Enea Silvio Piccolomini, papa Pio II. As...
Nicola Casella
La responsabilità sociale nelle imprese. Scenari, analisi e casi studio
La responsabilità sociale nelle imprese...
Carteggio muratoriano. Corrispondenti e bibliografia
Carteggio muratoriano. Corrispondenti e ...
F. Missere, R. Turicchia
Sette pilastri della saggezza (I)
Sette pilastri della saggezza (I)
Thomas Edward Lawrence, S. Pisauri
Sei personaggi in cerca d'autore
Sei personaggi in cerca d'autore
Pirandello Luigi
Con gli occhi chiusi
Con gli occhi chiusi
Tozzi Federigo
Melodien. La musica del diavolo
Melodien. La musica del diavolo
Krausser Helmut
Cognizione e discorso poetico. A dialogo con Dante, Pessoa, Guillén, Caproni e Ashbery
Cognizione e discorso poetico. A dialogo...
Cristina Caracchini
Rui Chafes. Ediz. inglese
Rui Chafes. Ediz. inglese
Doris von, Drathen
Lawrence Carroll. Ediz. illustrata
Lawrence Carroll. Ediz. illustrata
Mattioli Rossi Laura, Vettese Angela
Yalos: why glass? Catalogo della mostra (Milano, 17 gennaio-20 marzo 2008). Ediz. italiana e inglese
Yalos: why glass? Catalogo della mostra ...
K. Zinkowski, Luca Massimo Barbero, L. Signorini
Maja Bajevic. Ediz. italiana e inglese
Maja Bajevic. Ediz. italiana e inglese

I libri più cercati

Categorie