In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on Systems for Computer-Aided Specification, Development and Verification, July 4-5, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.
In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on Artificial Intelligence and Mathematics, 3rd, Fort Lauderdale, FL, USA, 1994.
In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-1994), 12th, June 26 - July 1, Nancy, France, Pages 29-41, Lecture Notes in Artificial Intelligence (LNAI), Vol. 814, Springer, 1994.
R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke
In: Proceedings of SDAIR'94. Annual Symposium on Document Analysis and Information Retrieval (SDAIR-94), 3rd, April 11-13, Las Vegas, NV, USA, Pages 209-218, Information Science Research Institute, University of Nevada, 4/1994.
Andreas Dengel; Rainer Bleisinger; Rainer Hoch; Frank Hönes; Michael Malburg; Frank Fein
In: Proceedings of DAS'94. IAPR International Workshop on Document Analysis Systems (DAS-94), October 18-20, Kaiserslautern, Germany, Pages 253-276, 10/1994.
IAPR International Workshop on Document Analysis Systems (DAS-94), October 18-20, Kaiserslautern, Germany, DFKI Documents (D), Vol. 94-13, International Association for Pattern Recognition, 10/1994.
