UNITesi

Sfoglia per Corso LOGICA MATEMATICA (LOGICA SIMBOLICA)

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 20 di 55
Istituto Anno di pubblicazione Titolo Autore file(s)
Università degli Studi di Messina 2003 Alcune problematiche sui sistemi di K-cicli del grafo completo Kv tesi di dottorato di ricerca -
Università degli Studi di Napoli Federico II An extension principle for fuzzy set theory dottorato di ricerca in matematica tesi Scarpati, Luisa
Università degli Studi di Genova 1997 Analisi di Fourier sferica su estensioni risolubili di gruppi di Heisenberg generalizzati dottorato di ricerca in matematica tesi presentata per il conseguimento del titolo di dottore di ricerca Di Blasio, Bianca
Università degli Studi di Milano 1997 Apprendimento di concetti in logica del primo ordine tramite un algoritmo genetico distribuito dottorato di ricerca in informatica tesi di dottorato Neri, Filippo
Università degli Studi di Pisa 1997 Un approccio computazionale alle risoluzioni libere minimali dottorato di ricerca in matematica tesi presentata per il conseguimento del titolo di dottore di ricerca La Scala, Roberto
Università degli Studi di Napoli Federico II Blocking set nei piani protettivi dottorato di ricerca in matematica Polverino, Olga
Università degli Studi di Napoli Federico II 2000 Classical varieties over finite fields dottorato di ricerca in matematica Siciliano, Alessandro
Università degli Studi di Palermo Il concetto di funzione in Ernst Cassirer dottorato di ricerca in filosofia tesi di dottorato Muscato, Carmelo
Università degli Studi di Roma La Sapienza 2000 Connettivi moltiplicativi generalizzati in logica non commutativa dottorato di ricerca in logica ed epistemologia Redavid, Laura
Università della Calabria 2005 Disjunctive logic programming efficient evaluation and language extensions tesi di dottorato -
Università della Calabria 2005 Disjunctive logic programming efficient evaluation and language extensions tesi di dottorato -
Università della Calabria 2005 DLP+: un'estensione della programmazione logica disgiuntiva con costrutti orientati agli oggetti tesi di dottorato -
Università degli Studi di Siena 1998 Domain theory in abstract interpretation equations, completeness and logic dottorato di ricerca in logica matematica e informatica teorica Scozzari, Francesca
Università degli Studi di Siena 1997 Esponenziali semantica delle fasi e risultati sintattici tesi di dottorato in logica matematica e informatica teorica Castellan, Maurizio
Università degli Studi di Milano 2005 Existence and compactness results for evolution equations and applications to phase field models dottorato di ricerca in matematica tesi di dottorato -
Università degli Studi di Milano Exponential ergodicity of some quantum Markov semigroups dottorato di ricerca in matematica tesi di dottorato Carbone, Raffaella
Università degli Studi di Roma La Sapienza 2000 Focalizzazione delle prove in logica non commutativa dottorato di ricerca in logica ed epistemologia Maieli, Roberto
Università degli Studi di Siena 1998 Formal methods for the analysis of open systems with applications to security properties dottorato di ricerca in logica matematica e informatica teorica Martinelli, Fabio
Università degli Studi di Siena 1997 Frammenti deboli di teorie degli insiemi dottorato di ricerca in logica matematica e informatica teorica tesi di dottorato Mancini, Antonella
Università degli Studi di Napoli Federico II 2004 Fuzzy logic and fixed point theory tesi di dottorato di ricerca in matematica, 15. ciclo -
Mostrati risultati da 1 a 20 di 55
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile