Autore

David Basin; Burkhart Wolff

1 libri per questo autore.

TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
Non disponibile
Storia e società
TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
David Basin; Burkhart Wolff
Aracne
15,00 €
Pagina 1 di 1