Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 91 to 100 of 105.

  1. Dieter Hutter

    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 …

  2. Dieter Hutter

    Synthesizing Induction Orderings for Existence Proofs

    In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …

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

  4. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

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

  5. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

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

  6. 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: …

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

  8. Hans-Jürgen Bürckert

    Terminologies and Rules. Extended Abstract.

    In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of 18th German Conference on Artificial Intelligence. German Conference on Artificial …

  9. Hans-Jürgen Bürckert; Bernhard Nebel

    Managing Qualitative Temporal Information: Expressiveness vs. Complexity

    In: Kai von Luck; Heinz Marburger (Hrsg.). Management and Processing of Complex Data Structures. Proceedings of 3rd Workshop "Information Systems and …

  10. Hans-Jürgen Bürckert

    Terminologies and Rules

    In: Kai von Luck; Heinz Marburger (Hrsg.). Proceedings of 3rd Workshop on Information Systems and Artificial Intelligence: Management and Processing …

Year