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 su e giù della vita. Trasforma i periodi di crisi in un vantaggio
I su e giù della vita. Trasforma i peri...
Johnson Spencer
Chaotics. Gestione e marketing nell'era della turbolenza
Chaotics. Gestione e marketing nell'era ...
John A. Caslione, Philip Kotler
Il manuale del vampiro
Il manuale del vampiro
C. Volpi, Kevin Jackson
Alzati Africa e mettiti in cammino
Alzati Africa e mettiti in cammino
Benedetto XVI (Papa Joseph Ratzinger)
Morte e fama. Ultime poesie 1993-1997
Morte e fama. Ultime poesie 1993-1997
P. Hale, L. Fontana, Allen Ginsberg, L. Carra, B. Morgan, B. Rosenthal
La guerra bianca. Vita e morte sul fronte italiano 1915-1919
La guerra bianca. Vita e morte sul front...
Mark Thompson, P. Budinich
Tutte le famiglie felici
Tutte le famiglie felici
E. Mogavero, G. Carraro, Carlos Fuentes
Sullo stile tardo
Sullo stile tardo
Edward W. Said
C'era una volta un paese. Una vita in Palestina
C'era una volta un paese. Una vita in Pa...
David Anthony, Nusseibeh Sari
La paura degli uomini. Maschi e femmine nella crisi della politica
La paura degli uomini. Maschi e femmine ...
Alberto Leiss, Letizia Paolozzi
Salvare una vita si può. Agire ora per cancellare la povertà
Salvare una vita si può. Agire ora per ...
Peter Singer, F. Tondi
Il sari rosso
Il sari rosso
Javier Moro, E. Mogavero, G. Carraro

I libri più cercati

Categorie