Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IStudia Logica. Bd. 64. H. 1. Dordrecht: Springer 2000 S. 93 - 132
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IIStudia Logica. Bd. 64. H. 2. Dordrecht: Springer 2000 S. 151 - 172
Kschischo, Maik; Lässig, Michael
Finite-temperature Sequence AlignmentRuss B. Altman; A. Keith Dunker; Lawrence Hunter; Teri E. Klein (Hrsg). Pacific Symposium on Biocomputing PSB 2000 On-Line Proceedings. Honolulu, Hawaii, USA 4-9 January 2000. Singapore: World Scientific Publishing 2000 S. 621 - 632
Steigner, Christoph; Steigner, Ch.; Wilke, J. et al.
Integrated Performance Monitoring of Client/Server SoftwareProceedings of the 1st IEEE European Conference on Universal Multiservice Networks (ECUMN´2000). Bd. Proceedings of the 1st IEEE European Conference on Universal Multiservice Networks (ECUMN´2000). Colmar, France. 2000
Furbach, Ulrich; Obst, O.; Stolzenburg, Frieder
Intelligente Agenten und KILog IN. Bonn: Gesellschaft für Informatik 2000 S. 17 - 21
Beuster, G.; Thomas, B.; Wolff, C.
MIA - An Ubiquitous Multi-Agent Web Information Systemhttp://www.icsc-naiso.org/ ICSC Symposium on Intelligent Systems & Application - MAMA 2000;. NAISO Academic Press 2000
Steigner, Christoph; Steigner, Ch.; Horn, G. et al.
Network and Client/Server Performance MonitoringProceedings 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
On Unification for Bonded Distributive LatticesDavid 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.
Regular Papers - A Unifying Approach to HTML Wrapper Representation and LearningLecture notes in computer science. Bd. 1967. Berlin: Springer 2000 S. 50 - 64
Sofronie-Stokkermans, Viorica
Resolution-Based Theorem Proving for SHn-LogicsRicardo Caferra; Gernot Salzer (Hrsg). Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlin: Springer 2000 S. 267 - 281