Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1994
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 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 Artificial Intelligence and Mathematics, 3rd, Fort Lauderdale, FL, USA, 1994.

  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 (CADE-1994), 12th, June 26 - July 1, Nancy, France, Pages 29-41, Lecture Notes in Artificial Intelligence (LNAI), Vol. 814, Springer, 1994.

  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. Tania Avgustinova

    On Bulgarian Verb Clitics

    In: Journal of Slavic Linguistics, Vol. 2, No. 1, Pages 29-47, Slavica Publishers, 1994.

  6. Tania Avgustinova

    Morphosyntactic Phrase - Evidence from Bulgarian

    Universität des Saarlandes, Internal Report, Vol. Projekt LATESLAV, 1994.

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

    Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    In: Proceedings of 12th National Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-94), 12th, July 31 - August 4, Seattle, Washington, USA, Pages 356-361, ISBN 978-0-262-51078-3, AAAI, 1994.

  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 Intelligence (KI-94), 18th, September 18-23, Saarbrücken, Germany, Pages 141-142, Lecture Notes in Artificial Intelligence (LNAI), Vol. 861, Springer, 1994.

  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 Artificial Intelligence". Workshop on Information Systems and Artificial Intelligence, 3rd, February 28 - March 2, Hamburg, Germany, Pages 104-117, Lecture Notes in Computer Science (LNCS), Vol. 777, Springer, 1994.

  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 of Complex Data Structures. Workshop on Information Systems and Artificial Intelligence, 3rd, February 28 - March 2, Hamburg, Germany, Pages 44-63, Lecture Notes In Computer Science (LNCS), Vol. 777, ISBN 3-540-57802-1, Springer, London, 1994.

Jahr