jb_1989.pdf

Fößmeier, R.: On Richardson extrapolation for finite difference methods. - In: Numer.
Math. 1989, S. 451-462.
Fößmeier, R.: Der Textformatierer TROFF. - In: Typographie für Informatiker. Hrsg.: A.
Gerold. München: Tech. Univ., 1989, S. 123-137.
Freitag, B.; Huber, B.; Womann, W.: An integrated knowledge based assembly control
system. - In: Proc. of the 11th Int. Joint Conf. on Artificial Intelligence IJCAI' 89,
Detroit, Aug. 20-25, 1989. Ed.: N.S. Sridharan. San Mateo: Kaufmann, 1989, S. 1369-
1374.
Freitag, B.; Specht, G.: A parsing system based on a deductive database. - In: Proc. of the
13th Germ. Workshop on Artificial Intelligence, GWAI-89, Eringerfeld, Sept. 18-22,
1989. Ed.: D. Metzing. Berlin: Springer, 1989, S. 280-289. (Informatik-Fachber.; 216)
Freksa, C.: Wissensdarstellung und Kognitionsforschung. - In: Informationstechnik: it 31
(1989) S. 134-140.
Friedrich, M.; Zeiler, J.; Eichholz, S.: Simulation von Hardware und Multitasking für die
parallele Programmiersprache ParMod. - In: PARS-Mitt. 7 (1989) Nr. 6, S. 177-186.
(PARS Workshop 1989, München, 10.-12. Apr. 1989)
Funk, P.; Geiger, M.: VMEbus-Konfigurationen mit 68020-Mastern im Vergleich. - In:
Design u. Elektronik 1989, Nr. 8, S. 66-68.
Furbach, U.: Wissensrepräsentation und Programmiersprachen. - In: Wissensarten und ihre
Darstellung. Hrsg.: G. Heyer u.a. Berlin: Springer, 1988, S. 262-271. (Informatik-
Fachber.; 169)
Furbach, U.; Dirlich, G.; Freksa, C.: Wissensrepräsentation in künstlichen symbolverarbeitenden
Systemen. - In: Wissenspsychologie. Hrsg.: H. Mandl u.a. München: Urban &
Schwarzenberg, 1988, S. 505-528.
Furbach, U.; Hoelldobler, S.; Schreiber, J.: Horn equality theories. - In: J. of autom.
reason. 5 (1989) S. 309-337.
Furbach, U.; Hoelldobler, S.; Schreiber, J.: Linear paramodulation modulo equality. - In:
GWAI-89, proc. of 13th German Workshop on Artificial Intelligence, Eringerfeld, Sept.
18-22, 1989. Ed.: D. Metzing. Berlin: Springer, 1989, S. 107-116. (Informatik-Fachber.;
216)
Glavina, B.: Trajektorienplanung bei Handhabungssystemen. München: Tech. Univ., Inst.
f. Informatik, 1988, 50 S. (TUM-I-8818)
Güntzer, U.; Jüttner, G.; Seegmüller, G.; Sarre, F.: Automatic thesaurus construction by
machine learning from retrieval sessions. - In: Inform. process. and managem. 25 (1989)
S. 265-273.
Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B.: Mathematische Logik. München: Tech.
Univ., Inst. f. Informatik, 1989, 134 S. (TUM-INFO-07-89)
Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B.: Vorlesungsskriptum "Mathematische
Logik". München: Tech. Univ., Inst. f. Informatik, 1989, 138 S. (TUM-I-8900)
Habel, H.; Kreowski, H.-J.; Vogler, W.: Decidable boundedness problems for hyperedgereplacement
graph grammars. - In: Proc. of CAAP '89, TAPSOFT '89, Barcelona,
March 13-17, 1989. Eds.: J. Diaz et al. Berlin: Springer, 1989, S. 275-290. (Lect. notes in
comput. sci.; 351)
Habel, H.; Kreowski, H.-J.; Vogler, W.: Metatheorems for decision problems on
hyperedge replacement graph languages. - In: Acta informat. 26 (1989) S. 657-678.
102