Libreria Fernandez
Carrello: | Liste dei desideri | Vai alla Cassa
UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)

UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)

Prezzo: € 12,00
Aggiungi a lista dei desideri
Momentaneamente non ordinabile

Dettagli Libro

  • Titolo: UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
  • Autore: Aspinall David, Lüth Cristoph
  • Curatore:
  • Traduttore:
  • Illustratore:
  • Editore: Aracne
  • Collana:
  • Data di Pubblicazione: 2003
  • Pagine: 192
  • Formato:
  • ISBN: 9788879995474
  • Informatica - Informatica

Libri che ti potrebbero interessare

Letteratura cristiana. Antologia: 3
Letteratura cristiana. Antologia: 3
Simonetti Manlio, Prinzivalli Emanuela
Antoni Gaudí
Antoni Gaudí
Matematica a portata di mano. Per la 4ªe 5ª classe elementare
Matematica a portata di mano. Per la 4ª...
Locatelli Daniella, Rini Silvana
Robo del manuscrito (El)
Robo del manuscrito (El)
Guida allo studio dell'endocrinologia
Guida allo studio dell'endocrinologia
Lenzi Andrea, D'Armiento Massimino
Nutrizione pediatrica. Elementi per capirla ed applicarla
Nutrizione pediatrica. Elementi per capi...
M. Luisa Forchielli
Sistemi di controllo direzionale (I)
Sistemi di controllo direzionale (I)
Stefano Baraldi
Leggere nella Spagna moderna
Leggere nella Spagna moderna
Antonio Castillo Gomez
Manuale di foniatria e logopedia
Manuale di foniatria e logopedia
Giovanni Ruoppolo, E. Genovese, Antonio Schindler, Antonio Amitrano
Interpretazione costituzionale. Una riflessione
Interpretazione costituzionale. Una rifl...
Antonio Troncoso Reigada
Enigma de la carta (El)
Enigma de la carta (El)
Ottica visuale
Ottica visuale
Anto Rossetti, Alessandro Fossetti, Frabizio Zeri, A. Calossi

I libri più cercati

Categorie