Pubblicazioni

The Visual Proof Manipulation Project (VPM)  (2002)

Autori:
N. Piccinini and G. Scollo
Titolo:
The Visual Proof Manipulation Project (VPM)
Anno:
2002
Tipologia prodotto:
Contributo in atti di convegno
Tipologia ANVUR:
Contributo in Atti di convegno
Lingua:
Inglese
Titolo del Convegno:
First Workshop on Evolutionary Formal Software Development (EFSD 2002), 11th FME, 2002 Federated Logic Conference, FLoC 2002.
Luogo:
Copenhagen
Periodo:
21 - 21 Jul 2002
Intervallo pagine:
57-59
Breve descrizione dei contenuti:
Sommario esteso di una proposta di progetto di ricerca sulla manipolazione grafica interattiva di dimostrazioni
Id prodotto:
114
Handle IRIS:
11562/114
Citazione bibliografica:
N. Piccinini and G. Scollo, The Visual Proof Manipulation Project (VPM)Atti di "First Workshop on Evolutionary Formal Software Development (EFSD 2002), 11th FME, 2002 Federated Logic Conference, FLoC 2002." , Copenhagen , 21 - 21 Jul 2002 , 2002 ,a cura di D. Hutter, D. Basin, P. Lindsay, C. Luethpp. 57-59

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo IRIS

Progetti Collegati
Titolo Dipartimento Responsabili
<<indietro

Attività

Strutture