Autore

Cristoph Lüth; David Aspinall

1 libri per questo autore.

UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Non disponibile
Informatica e tecnologia
UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Cristoph Lüth; David Aspinall
Aracne
12,00 €
Pagina 1 di 1