Zöbel, Dieter; Balcerak, Elisabeth

Zürich: vdf, Hochsch.-Verl. an der ETH 1999 0 S.

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

Proceedings of the Third Sino-German Workshop: Advanced Parallel Processing Technologies (APPT´99). Bd. Proceedings of the Third Sino-German Workshop: Advanced Parallel Processing Technologies (APPT´99). Changsha, China. 1999

Sofronie-Stokkermans, Viorica

Harald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Berlin: Springer 1999 S. 157 - 171

Sofronie-Stokkermans, Viorica

Rolf Drechsler; Bernd Becker (Hrsg). Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic ISMVL 1999; 20. - 22. May, 1999; Freiburg im Breisgau. Los Alamitos, CA: IEEE Computer Society 1999 S. 242 - 247

Murray, J.; Stolzenburg, F.; Obst, O. et al.

Proceedings of the Workshop RoboCup during KI´99. 1999 S. 12-25

Stolzenburg, Frieder

Künstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 2. Bremen: Böttcher IT-Verl. 1998 S. 73 - 78

Steigner, Christoph; Schmid, A. J.; Steigner, Ch.

Proceedings of the Second IASTED International Conference: Parallel and Distributed Computing and Networks. Bd. Proceedings of the Second IASTED International Conference: Parallel and Distributed Computing and Networks. Brisbane, Queensland, Australia. 1998

Baumgartner, Peter; Dahn, Ingo; Dix, Jürgen et al.

Künstliche Intelligenz. Bd. 12. H. 4. Boppard: ScienTec Publishing 1998 S. 7 - 14

Baumgartner, P.; Petermann, U.; Bibel, W. et al.

Bibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 191-224

Jürjens, Jan

Bremen: Universität Bremen 1998