Results

Found results 3

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

Consultabile ORTUSO ALBERTO, PROTOCOLLI DI VOTO ELETTRONICO: UN APPROCCIO LOGICO-MATEMATICO, Rel. MASINI ANDREA, AA 1998/1999
Author: ORTUSO ALBERTO
Title: PROTOCOLLI DI VOTO ELETTRONICO: UN APPROCCIO LOGICO-MATEMATICO
Relatore: MASINI ANDREA
Academic year: 1998/1999
Course: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: MA360
Richiedi la consultazione
Consultabile TIBONI MASSIMILIANO, SISTEMI DEDUTTIVI ETICHETTATI PER LOGICHE MODALI E TEMPORALI, Rel. MASINI ANDREA, AA 1999/2000
Author: TIBONI MASSIMILIANO
Title: SISTEMI DEDUTTIVI ETICHETTATI PER LOGICHE MODALI E TEMPORALI
Relatore: MASINI ANDREA
Academic year: 1999/2000
Course: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: MA379
Richiedi la consultazione
Consultabile TONETTA STEFANO, ASPETTI COMPUTAZIONALI DELLA LOGICA CLASSICA, Rel. MASINI ANDREA, AA 2000/2001
Author: TONETTA STEFANO
Title: ASPETTI COMPUTAZIONALI DELLA LOGICA CLASSICA
Relatore: MASINI ANDREA
Academic year: 2000/2001
Course: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: MA413
Richiedi la consultazione

New search