Furbach, Ulrich; Obst, O.; Stolzenburg, Frieder

Log IN. Bonn: Gesellschaft für Informatik 2000 S. 17 - 21

Beuster, G.; Thomas, B.; Wolff, C.

http://www.icsc-naiso.org/ ICSC Symposium on Intelligent Systems & Application - MAMA 2000;. NAISO Academic Press 2000

Steigner, Christoph; Steigner, Ch.; Horn, G. et al.

Proceedings of the Eighteenth IASTED International Conference: Applied Informatics (AI 2000). Bd. Proceedings of the Eighteenth IASTED International Conference: Applied Informatics (AI 2000). Innsbruck, Austria. 2000

Sofronie-Stokkermans, Viorica

David McAllester (Hrsg). Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings. Berlin: Springer 2000 S. 465 - 481

Grieser, Gunter; Jantke, Klaus P.; Lange, Steffen et al.

Lecture notes in computer science. Bd. 1967. Berlin: Springer 2000 S. 50 - 64

Sofronie-Stokkermans, Viorica

Ricardo Caferra; Gernot Salzer (Hrsg). Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlin: Springer 2000 S. 267 - 281

Jürjens, Jan

Catuscia Palamidessi (Hrsg). CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Berlin: Springer 2000 S. 395 - 409

Baumgartner, Peter

Lecture notes in computer science. Bd. 1831. Berlin: Springer 2000 S. 200 - 219

Kschischo, Maik

Potsdam: Universität Potsdam 2000

Rosendahl, M.; Brunet, D.

Brunet,P., Hoffmann, C., Roller,D. (Hrsg). CAD Tools and Algorithms for Product Design. Springer Verlag 2000