Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Steigner, Christoph; Schmid, A. J.; Steigner, Ch.
A Solution for the Count to Infinity Problem of Distance Vector RoutingProceedings 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.
Automated Deduction: A technological Point of ViewKünstliche Intelligenz. Bd. 12. H. 4. Boppard: ScienTec Publishing 1998 S. 7 - 14
Baumgartner, P.; Petermann, U.; Bibel, W. et al.
Chapter II.6: Theory ReasoningBibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 191-224
Jürjens, Jan
Kleine Objekte in Kategorien von AlgebrenBremen: Universität Bremen 1998
Rosendahl, M.; Berling, R; Roller, D. et al.
Modeling of Geometric Constraints in CAD ApplicationsRoller, D.; Bruederlin, B. (Hrsg). Geometric Constraint Solving & Applications. Springer Verlag 1998
Sofronie-Stokkermans, Viorica
On Translation of Finitely-Valued Logics to Classical First-Order LogicHenri Prade (Hrsg). Proceeding of the 13th European Conference on Artificial Intelligence ECAI 98 August 23-28, Brighton, UK. Chichester: Wiley 1998 S. 410 - 411
Obst, O.
RoboCup: FC-Linux - Mit Linux zur Fußball-WMLinux-Magazin. Bd. Linux-Magazin. 1998 S. 48-51
Dix, J.; Stolzenburg, F.
Section 1: Theory - A framework to incorporate non-monotonic reasoning into constraint logic programmingThe journal of logic programming. Bd. 37. H. 1. New York, NY: North-Holland 1998 S. 47 - 76
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
Super logic programsKoblenz-Landau: Univ., Inst, für Informatik 1998 0 S. (Fachberichte Informatik ; 17/98)
Baumgartner, P.
Theory Reasoning in Connection CalculiLecture Notes in Artificial Intelligence. Springer 1998