Attribute Exploration of Gene Regulatory Processes Dissertation

First Page		Document Content
Mathematics Logic in computer science Data mining Formal concept analysis Lattice theory Ontology Modal logic Computation tree logic Description logic Logic Science Non-classical logic		Attribute Exploration of Gene Regulatory Processes Dissertation Add to Reading List Source URL: www.db-thueringen.de Download Document from Source Website File Size: 4,36 MB Share Document on Facebook

	Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007 DocID: 1xVOl - View Document
	System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal DocID: 1xVjW - View Document
	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology DocID: 1xUHR - View Document
	System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal DocID: 1xUgI - View Document
	Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH Yining Wu Overseeing Professor: Prof. Steffen H¨olldobler DocID: 1veZ0 - View Document