Journal Article (62)
61.
Journal Article
17 (2), pp. 181 - 208 (2001)
Bivariate Spline interpolation with optimal approximation order. Constructive Approximation 62.
Journal Article
17, pp. 323S - 331S (2001)
Centralization: A biologically sensible method for the normalization of gene expression data. Bioinformatics Book (3)
63.
Book
CGAL Reference and User Manuals. CGAL Consortium, - (2001)
64.
Book
From Genomes to Drugs. Wiley-VCH, Weinheim (2001), 647 pp.
65.
Book
Proceedings of the 5th Annual Conference on Research in Computational Molecular Biology (RECOMB2001). ACM, New York (2001), 315 pp.
Book Chapter (14)
66.
Book Chapter
1, pp. 19 - 99 (Eds. Robinson, J. A.; Voronkov, A.). Elsevier, Amsterdam, the Netherlands (2001)
Resolution Theorem Proving. In: Handbook of Automated Reasoning, Vol. 67.
Book Chapter
1, pp. 751 - 842 (Eds. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam, the Netherlands (2001)
Solving numerical constraints. In: Handbook of Automated Reasoning, Vol. 68.
Book Chapter
Orthogonal Graph Drawing. In: Drawing Graphs: Methods and Models, pp. 121 - 171 (Eds. Kaufmann, M.; Wagner, D.). Springer, Berlin, Germany (2001)
69.
Book Chapter
1, pp. 1793 - 1849 (Eds. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam, the Netherlands (2001)
Resolution Decision Procedures. In: Handbook of Automated Reasoning, Vol. 70.
Book Chapter
A Resolution-Based Decision Procedure for Extensions of K4. In: Advances in Modal Logic, Volume 2, pp. 225 - 246 (Eds. Zakharyaschev, M.; Segerberg, K.; de Rijke, M.; Wansing, H.). CSLI, Stanford, USA (2001)
71.
Book Chapter
Object Space Visibility. In: (2001)
72.
Book Chapter
Bioinformatik an der Schwelle zur postgenomischen Ära. In: Was wissen wir, wenn wir das menschliche Genom kennen, pp. 56 - 62 (Eds. Honnefelder, L.; Propping, P.). Dumont, Köln (2001)
73.
Book Chapter
From Algorithm to Program to Software Library. In: Informatics: 10 years back, 10 years ahead, pp. 268 - 273 (Ed. Wilhelm, R.). Springer, Berlin, Germany (2001)
74.
Book Chapter
Exact Computation with leda_real - Theory and Geometric Applications. In: Symbolic Algebraic Methods and Verification Methods, pp. 163 - 172 (Eds. Alefeld, G.; Rohn, J.; Rump, S. M.; Yamamoto, T.). Springer, Berlin (2001)
75.
Book Chapter
Chapter 6: Applications in Rendering and Animation. In: ACM Siggraph 2001, Course Notes: Seeing is Believing: Reality Perception in Modeling, Rendering and Animation, pp. 1 - 52 (Eds. McNamara, A.; Chalmers, A.). ACM Siggraph, New York, USA (2001)
76.
Book Chapter
2, pp. 1403 - 1486 (Eds. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam, the Netherlands (2001)
Encoding two-valued non-classical logics in classic logic. In: Handbook of Automated Reasoning, Vol. 77.
Book Chapter
1, pp. 335 - 367 (Eds. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam (2001)
Computing small clause normal forms. In: Handbook of Automated Reasoning, Vol. 78.
Book Chapter
Situation Aware Computing with Wearable Computers. In: Fundamentals of Wearable Computers and Augmented Reality, pp. 511 - 538 (Eds. Barfield, W.; Caudell, T.). Erlbaum, Mahwah, NJ (2001)
79.
Book Chapter
1, pp. 1965 - 2013 (Eds. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam (2001)
Combining Superposition, Sorts and Splitting. In: Handbook of Automated Reasoning, Vol. Proceedings (5)
80.
Proceedings
Proceedings of the 2nd International Workshop on the Implementation of Logics. Untitled Event, Havanna, Cuba, December 08, 2001. Max-Planck-Institut für Informatik, Saarbrücken, Germany (2001)