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

Aiuto! Cultura, turismo, visione
Aiuto! Cultura, turismo, visione
Serra Gianmarco, Cont Maurizio
La civiltà della cooperazione. Un modello di rinnovamento per una leadership etica
La civiltà della cooperazione. Un model...
Mollo Gaetano
Memorie dall'innocenza
Memorie dall'innocenza
Serena Frediani
Io credo in te
Io credo in te
Semeraro Marcello
Perché si danza quando si ha voglia di baci? Le più belle frasi dei film d'autore
Perché si danza quando si ha voglia di ...
Senatore Ignazio
Parcelle avvocati. I nuovi parametri
Parcelle avvocati. I nuovi parametri
Giuseppe Colavitti, Gianluca Gambogi
Cinema e letteratura. Una lunga e discussa relazione
Cinema e letteratura. Una lunga e discus...
Cavalluzzi Raffaele
Mutamenti e strategie di difesa dalla crisi
Mutamenti e strategie di difesa dalla cr...
Regioone Campania
Un posto tranquillo per Nelly Rosso
Un posto tranquillo per Nelly Rosso
Rosa Cerrato
Il servizio sociale italiano nel secondo dopoguerra. Contributi per una ricerca storica
Il servizio sociale italiano nel secondo...
Cutini Rita
Psicologia del lavoro nelle organizzazioni dei servizi sociali
Psicologia del lavoro nelle organizzazio...
De Felice, Franco
Il testimone oculare
Il testimone oculare
Ernst Weiss

I libri più cercati

Categorie