UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Aspinall David,
Lüth Cristoph
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
Il Kyriale romanorum. Aspetti liturgici ...
Haberl Ferdinand
Il Kyriale romanorum. Aspetti liturgici ...
Ferdinand Haberl
Il Canto responsoriale del graduale greg...
Haberl Ferdinand
Der Responsoriale gesang des gregorianis...
Haberl Ferdinand
Sacramentum caritatis. Adhortatio aposto...
Benedetto XVI (Papa Joseph Ratzinger)
I libri più cercati
-
Il metodo di lavoro libero per gruppi
F. De Bartolomeis, Roger Cousinet, Francesco De Bartolomeis -
La vegetariana
Han Kang -
La crisi del 1929. Negli Stati Uniti d'America e i...
Vichi Marco -
Cricco di teodoro. 3 (versione gialla) - (soltanto...
Giorgio Cricco, Francesco P. Di Teodoro -
Lo Hobbit. Illustrato dall'autore
John R. R. Tolkien
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia