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

Maestri e compagni
Maestri e compagni
Norberto Bobbio
Feste galanti
Feste galanti
Paul Verlaine, M. T. Bulciolu
Genius loci. Paesaggio ambiente architettura. Ediz. illustrata
Genius loci. Paesaggio ambiente architet...
Christian, Norberg Schulz
La crisi della morte. Che cosa accade e che cosa si prova nel momento del trapasso e dell'ingresso nella nuova dimensione
La crisi della morte. Che cosa accade e ...
Bozzano Ernesto
Mai visti sole e luna
Mai visti sole e luna
Camon Ferdinando
Dimmi dove ti fa male e ti dirò perché. I richiami del corpo sono i messaggi dell'anima. Elementi di psicoenergetica
Dimmi dove ti fa male e ti dirò perché...
Michel Odoul, F. Cocca
Spider-Man: 1
Spider-Man: 1
Kirby Jack, Ditko Steve, Lee Stan
Itinerari di lettura. Rassegna di scrittori italiani di letteratura per l'infanzia dal secondo dopoguerra ad oggi
Itinerari di lettura. Rassegna di scritt...
Marini Carlo
Pretiosa margarita novella. 4º canto
Pretiosa margarita novella. 4º canto
Miorelli, Moreno B.
I tarocchi delle 78 porte. Con carte
I tarocchi delle 78 porte. Con carte
Platano Antonella, Alligo Pietro
L' autorità e la famiglia
L' autorità e la famiglia
Herbert Marcuse
I chakras. Come stimolare quotidianamente attraverso esercizi fisici e di meditazione la forte energia vitale dei sette chakras
I chakras. Come stimolare quotidianament...
Vollmar Klausbernd

I libri più cercati

Categorie