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 -
Università degli Studi di Napoli Federico II An extension principle for fuzzy set theory dottorato di ricerca in matematica -
Università degli Studi di Genova 1997 Analisi di Fourier sferica su estensioni risolubili di gruppi di Heisenberg generalizzati dottorato di ricerca in matematica -
Università degli Studi di Milano 1997 Apprendimento di concetti in logica del primo ordine tramite un algoritmo genetico distribuito dottorato di ricerca in informatica -
Università degli Studi di Pisa 1997 Un approccio computazionale alle risoluzioni libere minimali dottorato di ricerca in matematica -
Università degli Studi di Napoli Federico II Blocking set nei piani protettivi dottorato di ricerca in matematica -
BNCF 1997 Classi helping relativizzate -
Università degli Studi di Napoli Federico II 2000 Classical varieties over finite fields dottorato di ricerca in matematica -
Università degli Studi di Palermo Il concetto di funzione in Ernst Cassirer dottorato di ricerca in filosofia -
Università degli Studi di Roma La Sapienza 2000 Connettivi moltiplicativi generalizzati in logica non commutativa dottorato di ricerca in logica ed epistemologia -
Università della Calabria 2005 Disjunctive logic programming efficient evaluation and language extensions -
Università della Calabria 2005 DLP+: un'estensione della programmazione logica disgiuntiva con costrutti orientati agli oggetti -
Università degli Studi di Siena 1998 Domain theory in abstract interpretation equations, completeness and logic -
Università degli Studi di Siena 1997 Esponenziali semantica delle fasi e risultati sintattici -
Università degli Studi di Milano 2005 Existence and compactness results for evolution equations and applications to phase field models dottorato di ricerca in matematica -
Università degli Studi di Milano Exponential ergodicity of some quantum Markov semigroups dottorato di ricerca in matematica -
Università degli Studi di Roma La Sapienza 2000 Focalizzazione delle prove in logica non commutativa dottorato di ricerca in logica ed epistemologia -
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 -
Università degli Studi di Siena 1997 Frammenti deboli di teorie degli insiemi dottorato di ricerca in logica matematica e informatica teorica -
Università degli Studi di Napoli Federico II 2004 Fuzzy logic and fixed point theory -
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