Bericht (698)

118061.
Bericht
Schyns, P.; Bülthoff, H.: Conditions for viewpoint dependent face recognition. Massachusetts Institute of Technology: Artificial Intelligence Laboratory and Center for Biological and Computational Learning, Cambridge, MA, USA (1993), 6 S.
118062.
Bericht
Antoy, S.; Echahed, R.; Hanus, M.: A needed narrowing strategy. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.
118063.
Bericht
Bachmair, L.; Ganzinger, H.; Lynch, C.; Snyder, W.: Basic paramodulation. Max-Planck-Institut für Informatik, Saarbrücken (1993), 36 S.
118064.
Bericht
Ballico, M.; Puri, S.: Calculation of the self-consistent current distribution and coupling of an RF antenna array. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 73 S.
118065.
Bericht
Basin, D.; Bundy, A.; Kraan, I.; Matthews, S.: A framework for program development based on schematic proof. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.
118066.
Bericht
Basin, D. A.; Kraan, I.; Bundy, A.: Middle-out reasoning for logic program synthesis. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.
118067.
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.
118068.
Bericht
Bessenrodt-Weberpals, M.; Wagner, F.; ASDEX Team: The Isotope Effect in ASDEX. Max-Planck-Institut für Plasmaphysik, Garching(DE) (1993), 72 S.
118069.
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.
118070.
Bericht
Brink, C.; Gabbay, D. M.; Ohlbach, H. J.: Towards automating duality. Max-Planck-Institut für Informatik, Saarbrücken (1993), 50 S.
118071.
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.
118072.
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.
118073.
Bericht
Eckstein, W.; Garcia-Rosales, C.; Roth, J.; Ottenberger, W.: Sputtering Data. Max-Planck-Institut für Plasmaphysik, Garching (1993), 342 S.
118074.
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.
118075.
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.
118076.
Bericht
Hanus, M.; Josephs, B.: A debugging model for functional logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.
118077.
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.
118078.
Bericht
Johann, P.; Socher-Ambrosius, R.: Solving simplifications ordering constraints. Max-Planck-Institut für Informatik, Saarbrücken (1993), 16 S.
118079.
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.
118080.
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.
Zur Redakteursansicht