Prezzo: € 15,00
Prodotto al momento non disponibile.
Titolo: TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
Autore:
Basin David,
Wolff Burkhart
Editore: Aracne
Data di Pubblicazione: 2003
Pagine: 244
Formato:
ISBN: 9788879995467