Items where Subject is "Area 01 - Scienze matematiche e informatiche > MAT/01 LOGICA MATEMATICA"

Group by: Creators | Defended on
Jump to: D | G | M | T | V
Number of items at this level: 7.

D

Della Stella, Maria Emilia (2013) Extended-order algebras and some applications. PhD thesis, University of Trento.

G

Griggio, Alberto (2009) An Effective SMT Engine for Formal Verification. PhD thesis, University of Trento.

M

Maltese, Vincenzo (2012) Dealing with Semantic Heterogeneity in Classifications. PhD thesis, University of Trento.

Morshed, Ahsan (2010) Aligning Controlled vocabularies for enabling semantic matching in a distributed knowledge management system. PhD thesis, University of Trento.

Mover, Sergio (2014) Verification of Hybrid Systems using Satisfiability Modulo Theories. PhD thesis, University of Trento, Fondazione Bruno Kessler.

T

Ture Savadkoohi, Bita (2010) Analysis of 3D scanning data for optimal custom footwear manufacture. PhD thesis, University of Trento.

V

Vescovi, Michele (2011) Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics. PhD thesis, University of Trento.

This list was generated on Tue Jul 22 13:30:51 2014 CEST.