Libri di Burkhart Wolff
-
TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
Venditore: Nocilli distribuzione libri15,00 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.