Bericht (692)

117701.
Bericht
Beidler, C. D.; Harmeyer, E.; Kisslinger, J.; Ott, I.; Wobig, H.: Studies on a Stellarator Reactor of the Helias Type: The Power Balance. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 23 S.
117702.
Bericht
Bessenrodt-Weberpals, M.; Wagner, F.; ASDEX Team: The Isotope Effect in ASDEX. Max-Planck-Institut für Plasmaphysik, Garching(DE) (1993), 72 S.
117703.
Bericht
Bockmayr, A.; Krischer, S.; Werner, A.: Narrowing strategies for arbitrary canonical rewrite systems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 29 S.
117704.
Bericht
Brink, C.; Gabbay, D. M.; Ohlbach, H. J.: Towards automating duality. Max-Planck-Institut für Informatik, Saarbrücken (1993), 50 S.
117705.
Bericht
Casimir, W. v.; Gehre, O.; Kaiser, N.; Keilmann, F.; Plank, K.; Schneider, W.; Zerull, R.: Untersuchung über die Anwendungsmöglichkeit der Mikrowellen- und Infrarotspektroskopie für die Registrierung von Stoffwechselvorgängen in biologischen Systemen.- Investigations of the Metabolism in Biological Systmes Using Microwave and Infrared Spectroscopy. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 24 S.
117706.
Bericht
Dimopoulos, Y.; Torres, A.: Graph theoretical structures in logic programs and default theories. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.
117707.
Bericht
Eckstein, W.; Garcia-Rosales, C.; Roth, J.; Ottenberger, W.: Sputtering Data. Max-Planck-Institut für Plasmaphysik, Garching (1993), 342 S.
117708.
Bericht
Gupta, P.; Janardan, R.; Smid, M.: Effizient algorithms for generalized intersection searching on non-iso-oriented objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 32 S.
117709.
Bericht
Gupta, P.; Janardan, R.; Smid, M.: Algorithms for some intersection searching problems involving curved objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 43 S.
117710.
Bericht
Hanus, M.; Josephs, B.: A debugging model for functional logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.
117711.
Bericht
Harmeyer, E.; Kißlinger, J.; Rau, F.; Wobig, H.: Studies on a Stellarator Reactor of the Helias Type: The Modular Coil System. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 52 S.
117712.
Bericht
Johann, P.; Socher-Ambrosius, R.: Solving simplifications ordering constraints. Max-Planck-Institut für Informatik, Saarbrücken (1993), 16 S.
117713.
Bericht
Kaiser, R.; Salat, A.: Surface Current Equilibria from a Geometric Point of View. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 41 S.
117714.
Bericht
Lang, P. T.; Andelfinger, C.; Beck, W.; Buchelt, E.; Büchl, K.; Cierpka, P.; Kollotzek, H.; Lang, R. S.; Prausner, G.; Söldner, F. X. et al.; Ulrich, M.; Weber, G.: The new centrifuge high-speed pellet injector for ASDEX Upgrade. Max-Planck-Institut für Plasmaphysik, Garching(DE) (1993), 27 S.
117715.
Bericht
Ohlbach, H. J.; Bader, F.: A multi-dimensional terminological knowledge representation language - preliminary version. Max-Planck-Institut für Informatik, Saarbrücken (1993), 17 S.
117716.
Bericht
Pfirsch, D.; Pohl, F.: Test of a Multiple Time Scale Formalism Applied to the Nonlinear Evolution of Negative-energy Modes. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 34 S.
117717.
Bericht
Posegga, J.; Schwind, C.: Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993. Max-Planck-Institut für Informatik, Saarbrücken (1993)
117718.
Bericht
Rozhansky, V. A.; Lengyel, L. L.: Calculation of Electrostatic Fields in Vapour Shields Evolving at Ablating Surfaces. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 13 S.
117719.
Bericht
Vetter, T.; Poggio, T.; Bülthoff, H.: 3D Object Recognition: Symmetry and Virtual Views. Massachusetts Institute of Technology: Artificial Intelligence Laboratory and Center for Biological and Computational Learning, Cambridge, MA, USA (1992), 6 S.
117720.
Bericht
Barnett, R.; Basin, D. A.; Hesketh, J.: A recursion planning analysis of inductive completion. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.
Zur Redakteursansicht