TY - JOUR AU - Flögel, A. AU - Kleine Büning, H. AU - Lettmann, Theodor ID - 19814 JF - RAIRO - Theoretical Informatics and Applications SN - 0988-3754 TI - On the restricted equivalence for subclasses of propositional logic ER - TY - GEN AU - Simon, Jens ID - 2453 TI - Benutzung virtueller Topologien unter PARIX ER - TY - GEN AU - Röttger, Markus AU - Simon, Jens AU - Schroeder, Ulf-Peter ID - 2454 TI - Virtual Topology Library for PARIX ER - TY - GEN AU - Diekmann, Ralf AU - Lüling, Reinhard AU - Simon, Jens ID - 2455 TI - Problem Independent Distributed Simulated Annealing and its Applications ER - TY - CHAP AU - Diekmann, Ralf AU - Simon, Jens ID - 2456 SN - 978-3-642-46787-5 T2 - Applied Simulated Annealing TI - Problem Independent Distributed Simulated Annealing and its Applications VL - 396 ER - TY - GEN AU - Blömer, Johannes ID - 3045 TI - On Kummer theory and the number of roots of unity in radical extensions of Q ER - TY - JOUR AU - Gries, Thomas AU - Wigger, B. ID - 3069 IS - 4 JF - Economia Internationale TI - The Dynamics of Upgrading or how to catch-up VL - 46 ER - TY - BOOK AU - Fuchssteiner, Benno AU - Wiwianka, W. AU - Gottheil, K. AU - Kemper, A. AU - Kluge, O. AU - Morisse, K. AU - Naundorf, H. AU - Oevel, Gudrun AU - Schulze, T. ID - 17302 TI - MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1 ER - TY - CONF AU - Peckhaus, Volker ED - Stelzner, Werner ID - 17476 T2 - Philosophie und Logik. Frege-Kolloquien Jena 1989/1991 TI - Ernst Schröder und der Logizismus VL - 3 ER - TY - BOOK ED - Meyer auf der Heide, Friedhelm ED - Monien, B. ED - Rosenberg, A. L. ID - 17477 SN - 0302-9743 TI - Parallel Architectures and Their Efficient Use ER -