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

Group by: Creators | Defended on
Jump to: 18 December 2009 | 12 April 2010 | 15 December 2010 | 25 February 2011 | 23 March 2012 | 22 April 2013
Number of items at this level: 6.

18 December 2009

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

12 April 2010

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

15 December 2010

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

25 February 2011

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

23 March 2012

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

22 April 2013

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

This list was generated on Sat May 25 01:30:33 2013 CEST.