Risultati della ricerca
Abbiamo trovato 1 libri cercando Basin David.
TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
di Basin David, Wolff BurkhartMomentaneamente non ordinabile Aggiungi a lista dei desideri
Prezzo: € 15,00
Editore: Aracne
ISBN: 9788879995467
Collana:
Anno Edizione: 2003
