Sfoglia per Corso LOGICA MATEMATICA (LOGICA SIMBOLICA)
Alcune problematiche sui sistemi di K-cicli del grafo completo Kv tesi di dottorato di ricerca
2003
An extension principle for fuzzy set theory dottorato di ricerca in matematica tesi
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
1997
Apprendimento di concetti in logica del primo ordine tramite un algoritmo genetico distribuito dottorato di ricerca in informatica tesi di dottorato
1997
Un approccio computazionale alle risoluzioni libere minimali dottorato di ricerca in matematica tesi presentata per il conseguimento del titolo di dottore di ricerca
1997
Blocking set nei piani protettivi dottorato di ricerca in matematica
Classical varieties over finite fields dottorato di ricerca in matematica
2000
Il concetto di funzione in Ernst Cassirer dottorato di ricerca in filosofia tesi di dottorato
Connettivi moltiplicativi generalizzati in logica non commutativa dottorato di ricerca in logica ed epistemologia
2000
Disjunctive logic programming efficient evaluation and language extensions tesi di dottorato
2005
Disjunctive logic programming efficient evaluation and language extensions tesi di dottorato
2005
DLP+: un'estensione della programmazione logica disgiuntiva con costrutti orientati agli oggetti tesi di dottorato
2005
Domain theory in abstract interpretation equations, completeness and logic dottorato di ricerca in logica matematica e informatica teorica
1998
Esponenziali semantica delle fasi e risultati sintattici tesi di dottorato in logica matematica e informatica teorica
1997
Existence and compactness results for evolution equations and applications to phase field models dottorato di ricerca in matematica tesi di dottorato
2005
Exponential ergodicity of some quantum Markov semigroups dottorato di ricerca in matematica tesi di dottorato
Focalizzazione delle prove in logica non commutativa dottorato di ricerca in logica ed epistemologia
2000
Formal methods for the analysis of open systems with applications to security properties dottorato di ricerca in logica matematica e informatica teorica
1998
Frammenti deboli di teorie degli insiemi dottorato di ricerca in logica matematica e informatica teorica tesi di dottorato
1997
Fuzzy logic and fixed point theory tesi di dottorato di ricerca in matematica, 15. ciclo
2004
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