Risultati

Risultati trovati 3

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti

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

Nuova ricerca