Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 81 bis 90 von 105.
  1. Andreas Dengel; Rainer Hoch; Hans-Günther Hein

    ALV: Lesende Systeme für die Unterstützung von Bürovorgängen

    In: Statusseminar des BMFT "Künstliche Intelligenz". Statusseminar des BMFT, April 27-28, Berlin, Germany, Pages 349-362, DLR, 4/1994.

  2. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  3. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

    In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

  4. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: DSS/Knowledge-based Systems. Hawaii International Conference on System Sciences (HICSS), 27th, January 4-7, Maui, Hawaii, USA, Vol. III, IEEE Computer Society Press, Los Alamitos, California, 1994.

  5. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    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.

  6. Synthesizing Induction Orderings for Existence Proofs

    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.

  7. Synthesizing Induction Orderings for Existence Proofs

    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.

  8. 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

    Verification Support Enviroment (VSE)

    In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

  9. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

    Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.

  10. Robert Dale; Wolfgang Finkler; Richard Kittredge; Nils Lenke; Günter Neumann; Conny Peters; Manfred Stede

    Report from Working Group 2: Lexicalization and Architecture

    In: Wolfgang Hoeppner; Helmut Horacek; Johanna Moore (Hrsg.). Principles of Natural Language Generation. Dagstuhl Seminare/Workshops, July 25-29, Schloss Dagstuhl, Germany, Pages 30-39, Dagstuhl-Seminar-Report, No. 93, Universität des Saarlandes, 1994.