- Alle Titel
- Besondere Sammlungen
- Veröffentlichungen der Universität
- Universitätsleitung/-verwaltung
- Fakultät für Kulturwissenschaften
- Fakultät für Wirtschaftswissenschaften
- Fakultät für Naturwissenschaften
- Fakultät für Maschinenbau
- Fakultät für Elektrotechnik, Informatik und Mathematik
- Universitätsbibliothek
- Heinz Nixdorf Institut (HNI)
- Zentrum für Bildungsforschung und Lehrerbildung
- Zentrum für Informations- und Medientechnologien
- Sonstige Einrichtungen / Externe
A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Jg. 1990, S. 1-10Senatsrichtlinie Partnerschaftliches Verhalten an der Universität Paderborn
vom 17. Oktober 2005Paderborn : Rektorat der Univ., 2005Separation algorithms for cutting planes based on mixed integer row relaxations
implementation and evaluation in the context of mixed integer programming solver software2009Siebte Änderung der Beitragsordnung des Studentenwerks Paderborn, Anstalt des Öffentlichen Rechts
vom 21. Juli 2009Paderborn : Präsidium der Univ., 2009Signed representing measures
In: Archiv der Mathematik, Jg. 1977, S. 503-509Simulating binary trees on x-trees
In: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures / Symposium on Parallel Algorithms and Architectures <3, 1991, Hilton Head Island, SC>, S. 147-158