Integration von Aktionsplanung und Konfigurierung. PhD dissertation Koehne, A. 1993. Sankt Augustin 1993. (DISKI. Dissertationen zur kuenstlichen Intelligenz. 38.) Fak. f. Informatik, Diss. v. 4.2.1993., Universität Karlsruhe (TH)
Microtribology Zum Gahr, K.-H. 1993. Interdisciplinary Science Reviews, Interdisciplinary sci. rev. 18 (1993) S. 259-266., 18, 259–66
Sliding wear of SiC-C composite materials Zimmerlin, B.; Zum Gahr, K.-H. 1993. In: Eurotrib 93. Proceedings of the 6. International Congress on Tribology, Budapest 1993. Vol. 3. 1993. S. 46-52
Zugversuche mit keramischen Werkstoffen Koch, D.; Guertler, M.; Weddigen, A.; Gogotsi, Y. G.; Grathwohl, G. 1993. In: Mechanische Eigenschaften keramischer Konstruktionswerkstoffe. Hrsg.: G. Grathwohl. Oberursel 1993. S. 301-306. (Keramik in Wissenschaft und Praxis.)
Strategische Informationssystemplanung. PhD dissertation Puchan, J. 1993. Fak. f. Wirtschaftswissenschaften, Diss. v. 12.5.1993., Universität Karlsruhe (TH)
A concept for the implementation of LSE narrowing Werner, A.; Bockmayr, A.; Krischer, S. 1993. In: 9. Workshop Logische Programmmierung, Hagen 1993. Hrsg.: C. Beierle. Hagen 1993. S. 104-107. (Bericht. Fernuniversitaet Hagen. 146.)
An order-sorted functional-locical language with LSE-tests Gollner, M. 1993. In: 2nd International Workshop on Functional/ Logic Programming, Rattenberg 1993. Ed.: A. Mueck. Muenchen 1993. S. 35-50. (Bericht. Ludwig-Maximilians-Universitaet Muenchen. 9311.)
A semantic approach to order-sorted rewriting Werner, A. 1993. Karlsruhe 1993. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. 1993,5.) und Extended abstract: In: Rewriting techniques and applications. Ed.: C. Kirchner. Berlin 1993. S. 47-61. (Lecture notes in computer science. 690.)
Making role-limiting shells more flexible Poeck, K.; Gappa, U. 1993. In: Knowledge acquisition for knowledge based systems. Ed.: N. Aussenac. Berlin 1993. S. 103-122. (Lecture notes in computer science. 723.)
Efficient deduction in many-valued logics Haehnle, R. 1993. In: Proceedings of the Workshop Automated Deduction in Nonstandard Logics. Ed.: P. Jackson. Raleigh, NC 1993. S. 54-61. (AAAI technical report. FS-93-01.)
Deduction with first-oder BDDs Posegga, J.; Schneider, K. 1993. In: Proceedings of the 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France 1993. Ed.: D. Basin. Saarbruecken 1993. (Technical report. Max-Planck-Institut fuer Informatik. 213.)
Compiling proof in semantic tableaux Posegga, J. 1993. In: Methodologies for intelligent systems. Ed.: J. Komorowski. Berlin 1993. (Lecture notes in computer science. 689.)
KORSO: das Verbundprojekt "Korrekte Software" Hussmann, H.; Loeckx, J.; Reif, W. 1993. In: Informatik, Wirtschaft, Gesellschaft. Hrsg.: H. Reichel. Berlin 1993. S. 266-271. (GI-Jahrestagung. 23.)
Reuse of proofs in software verification Reif, W.; Stenzel, K. 1993. In: Foundations of software technology and theoretical computer science. Ed.: R.K. Shyamasundar. Berlin 1993. S. 284-293. (Lecture notes in computer science. 761.)
Evolving neural feedforward networks Braun, H.; Weisbrod, J. 1993. In: Artificial neural nets and genetic algorithms. Ed.: R.F. Albrecht. Wien 1993. S. 18-24
Analytical report Fuchs, K.; Pezard, P. 1993. In: Megascience. The OECD Forum Deep Drilling. Paris 1993. S. 25-58
Mit Fuzzy : hohe Regelgeschwindigkeit Zhang, J.; Raczkowsky, J.; Mayer, F. 1993. Techn. Rdsch.-Transfer 85 (1993) H. 47 S. 30- 32; H. 48 S. 30-32; H. 49 S. 26-28
A toolbox of integrated planning tools - a case study Welz, B.; Camarinha, L.; Lueth, T.; Muench, S.; Stocchiero, L.; Tramu, J.; Visser, A. 1993. In: IFIP Workshop on Interfaces in Industrial Systems for Production and Engineering, Darmstadt 1993. S. 138-150
Advancement of intelligent machines Rembold, U.; Lueth, T.; Hoermann, A. 1993. In: JSME International Conference on Advanced Mechatronics ICAM’93, Tokio, Japan 1993. S. 1-7
Tragverhalten gemauerter Kreuzgewoelbe. PhD dissertation Barthel, R. 1993. Karlsruhe 1993. (Aus Forschung und Lehre. 26.) Fak. f. Architektur, Diss. v. 17.7.1991., Universität Karlsruhe (TH)