Reasoning Over Description Logic Ontologies under non-standard Assumptions Dissertation submitted in accordance with the requirements of the Free University of Bozen-Bolzano

Source URL: www.informatik.uni-bremen.de

Finite Model Reasoning in Horn-SHIQ Yazm´ın Iba˜nez-Garc´ıa1 , Carsten Lutz2 , and Thomas Schneider2 1 KRDB Research Centre, Free Univ. of Bozen-Bolzano, Italy,{} 2

Source URL: www.informatik.uni-bremen.de

• Spectral theory
• Spectrum
• Model theory

AUTONOME PROVINZ BOZEN-SÜDTIROL PROVINCIA AUTONOMA DI BOLZANO-ALTO ADIGE Agentur für die Verfahren und die Aufsicht im Bereich öffentliche Bau-, Dienstleistungs- und Lieferaufträge DAI - Dienstleistungen in den Berei

Source URL: www.provincia.bz.it

Queries and Updates in the coDB Peer to Peer Database System Enrico Franconi† , Gabriel Kuper‡ , Andrei Lopatenko†,§ , Ilya Zaihrayeu‡ † Free University of Bozen–Bolzano, Faculty of Computer Science, Italy,

Source URL: www.inf.unibz.it

AUTONOME PROVINZ BOZEN - SÜDTIROL PROVINCIA AUTONOMA DI BOLZANO - ALTO ADIGE Abteilung 8 - Landesinstitut für Statistik (ASTAT) AmtAmt für Wirtschaftsstatistik

Source URL: www.ausschreibungen-suedtirol.it

AUTONOME PROVINZ BOZEN - SÜDTIROL PROVINCIA AUTONOMA DI BOLZANO - ALTO ADIGE Beschluss der Landesregierung

Source URL: www.provincia.bz.it

Shareholder Agreements and Corporate Control Dr. Marilena Filippelli Free University of Bozen-Bolzano, Italy Wednesday, 13 May 2015, 12:30 - 1:30 pm

Source URL: www.law.cuhk.edu.hk

AUTONOME PROVINZ BOZEN - SÜDTIROL Abteilung 4 - Personal AmtAmt für Personalaufnahme PROVINCIA AUTONOMA DI BOLZANO - ALTO ADIGE Ripartizione 4 - Personale

Source URL: www.provincia.bz.it

AUTONOME PROVINZ BOZEN - SÜDTIROL AOV - Agentur für die Verfahren und die Aufsicht im Bereich öffentliche Bau-, Dienstleistungsund Lieferaufträge Prot. 729

Source URL: www.ausschreibungen-suedtirol.it

Dienstag, 8 Juli 2014 Tag 6: Von schwimmenden Äpfeln und vollen Zügen Bei einer frühabendlichen Veranstaltung an der Freien Universität Bozen zeigte Thomas Streifeneder von der European Academy of Bozen (EURAC) eine

Source URL: www.alpconv.org