Paradigmi della computazione: la costruzione delle reti di dimostrazione

Descrizione | Programma | Lista seminari

Speaker:
Roberto Maieli (Università Roma Tre)
Quando:
09/07/2010 - 11:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract

Risorse:   RM_talk-090710-rm3.pdf