1
0
0
(1 - 20 von 34
)
Library Services | Technical University of Kenya catalog ...library.tukenya.ac.ke › cgi-bin › koha › opac-search
library.tukenya.ac.ke
... resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June ... Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler.
Intelligent Information Processing VII: 8th IFIP TC 12 International...
books.google.co.uk
This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in...
Automated Reasoning: Third International Joint Conference, IJCAR
books.google.de
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August The...
Formal Ontology in Information Systems: Proceedings of the Sixth
books.google.de
Ian Horrocks, Oliver Kutz, and Uli Sattler. The Even More Irresistible SROIQ. In In Proceedings of the 10th International Conference on Principles of Knowledge ...
1 CONFERENCE COMMITTEE - KR ProceedingsKR Proceedings
proceedings.kr.org
• Uli Sattler (University of Manchester, United Kingdom):. Description Logic and OWL: A Tale of Discoveries, De- sign Choices, Challenges, and Lessons Learnt ... • Uli Sattler (University of Manchester, United Kingdom):. Description Logic and OWL: A Tale of Discoveries, De- sign Choices, Challenges, and Lessons Learnt ...
Sattler, Uli [WorldCat Identities]
www.worldcat.org
Most widely held works by Uli Sattler. Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June , Proceedings ...
This file was generated by bibtex2html Goethe-Universität Frankfurt
www2.ki.informatik.uni-frankfurt.de
In Bernhard Gramlich, Dale Miller, and Uli Sattler, editors, Automated Reasoning - Proceedings of the 6th International Joint Conference, IJCAR In Bernhard Gramlich, Dale Miller, and Uli Sattler, editors, Automated Reasoning - Proceedings of the 6th International Joint Conference, IJCAR
Uli SattlerClaus-Peter Wirth
w2.cs.uni-saarland.de
Uli Sattler. Organization: University of Manchester. Web site: http://www.cs.man.ac.uk/~sattler/. Pages in this Program. ADDCT Proceedings · ADDCT Uli Sattler. Organization: University of Manchester. Web site: http://www.cs.man.ac.uk/~sattler/. Pages in this Program. ADDCT Proceedings · ADDCT
Publications |
www.algosyn.rwth-aachen.de
... Chapter in Proceedings of the 6th International Joint Conference on Automated Reasoning (Bernhard Gramlich, Dale Miller, Uli Sattler, eds.), Springer-Verlag ...
BibTeX records: Ulrike Sattler - DBLP
dblp.uni-trier.de
@inproceedings{DBLP:conf/dlog/ZhaoPS22, author = {Haoruo Zhao and Bijan Parsia and Uli Sattler}, editor = {Ofer Arieli and Martin Homola and Jean Christoph ... Zhongzhi Shi, Zhaohui Wu, David B. Leake, Uli Sattler : Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, ... › pid › Ulri...
Automated Reasoning | SpringerLink
link.springer.com
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June...
Uli Sattler's Publications - Department of Computer Science,...
www.cs.man.ac.uk
R. S. Gonçalves, B. Parsia, and Uli Sattler: Analysing the Evolution of the NCI Thesaurus Proceedings of the 24th International Symposium on Computer-Based Medical Systems (CBMS 2011) F. Lin, U. Sattler, M. Truszczynski (editors).
Frontiers of Combining Systems von Uli Sattler, Martin SudaBuchhandlung Lauf
www.buch-lauf.at
Frontiers of Combining Systems. 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings | Uli Sattler; ... Frontiers of Combining Systems. 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings | Uli Sattler; ,00 €
Uli SattlerEasyChair
easychair.org
Uli Sattler. Affiliation: The University of Manchester. Web page: http://www.cs.man.ac.uk/~sattler/. Pages in this Program. All Proceedings Papers · DL on ... Uli Sattler. Affiliation: The University of Manchester. Web page: http://www.cs.man.ac.uk/~sattler/. Pages in this Program. All Proceedings Papers · DL on ...
Dr. Frithjof Dau: Publications
existential-graphs.net
In Catherine Dolbear, Alan Ruttenberg, Uli Sattler (eds): OWLED '08: Proceedings of the OWLED Workshop on OWL: Experiences and Directions.
Dr. Frithjof Dau: Publications
dr-dau.org
Publications. Monographs and Proceedings: Frithjof Dau (ed): Proceedings of 1st CUBIST Workshop. Proc Uli Sattler (eds): OWLED '08: ...
Books and edited proceedings
www.lix.polytechnique.fr
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) edited by Bernhard Gramlich, Dale Miller, and Uli Sattler.
DemTech - Publications - Academic papers
demtech.dk
In Bernhard Gramlich, Dale Miller, and Uli Sattler (eds.), Proceedings of the sixth International Joint Conference on Automated Reasoning (IJCAR'12), pp.
Literature
www.kr.tuwien.ac.at
In Fangzhen Lin, and Uli Sattler, editors, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR ...
Intelligent Information Processing VII - Buchhandlung Spazierer
www.buchbestellung.at
8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October , 2014, Proceedings | David Leake; Uli Sattler; Zhongzhi Shi; Zhaohui Wu. › item › Zhaohui_Wu
Alle Infos zum Namen "Uli Sattler"
sortiert nach Relevanz / Datum