| |
Automated Reasoning with Analytic Tableaux and Related Methods (2005), pp. 201-216.
|
| |
|
| |
In Grundlagen von Datenbanken (1999), pp. 122-126.
|
| |
In Workshop on Foundations of Models and Languages for Data and Objects (1996), pp. 41-56.
|
| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1777 (2000)
|
| |
|
| |
In 6th International Conference of the International Society for Knowledge Organization (2000)
|
| |
In On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 (2002), pp. 1132-1151.
|
| |
Taxon, Vol. 44, No. 2. (1995), pp. 207-212.
|
| |
|
| |
BMC Bioinformatics, Vol. 6 (2005)
|
| |
(1994)
posted to logic by thau
on 2007-10-04 20:19:22
as 
|
| |
Journal of Artificial Intelligence Research, Vol. 6 (1997), pp. 211-221.
|
| |
Philos Trans R Soc Lond B Biol Sci, Vol. 359, No. 1444. (29 April 2004), pp. 571-583.
|
| |
|
| |
|
| |
Concurrency and Computation: Practice & Experience, Vol. 18, No. 10. (2006), pp. 1039-1065.
|
| |
In AAAI (2000), pp. 450-455.
|
| |
In Advances in Computer Methods for Systematic Biology: Artificial Intelligence, Databases, Computer Vision (1993), pp. 241-256.
|
| |
In Logic in Computer Science (1993), pp. 75-83.
|
| |
|
| |
In Experience and Analysis (2005), pp. 153-170.
|
| |
Artif Intell Med, Vol. 39, No. 3. (March 2007), pp. 197-216.
|
| |
Journal of Biomedical Informatics In Biomedical Ontologies, Vol. 39, No. 3. (June 2006), pp. 314-320.
|
| |
Genome biology, Vol. 6, No. 5. (2005), R46.
|
| |
Proceedings of MedInfo (2004), pp. 482-486.
|
| |
Proceedings of FOIS (2004)
|
| |
In KI2003: Advances in AI (2003), pp. 135-148.
|
| |
dialectica, Vol. 58, No. 3. (2004), pp. 279-296.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
American Midland Naturalist, Vol. 40 (1948), pp. 1-261.
|
| |
|
| |
In 2nd Intl. Workshop on Data Integration in the Life Sciences (DILS) (July 2005), pp. 80-95.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
Search
