Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1986
Alle Filter entfernen
Zeige Ergebnisse 1 bis 8 von 8.

  1. Hans-Jürgen Bürckert

    Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine

    In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 277-288, Informatik-Fachberichte, Vol. 124, Springer, 1986.

  2. Hans-Jürgen Bürckert

    Some relationship Between Unification, Restricted Unification, and Matching

    In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986), 8th, July 27 - August 1, Oxford, United Kingdom, Pages 514-524, Lecture Notes in Computer Science (LNCS), Vol. 230, Springer, 1986.

  3. Hans-Jürgen Bürckert; Alexander Herold

    Unifikation. Aktuelles Schlagwort.

    In: Informatik Spektrum, Vol. 9, No. 3, Pages 186-187, Springer, 1986.

  4. Hans-Jürgen Bürckert

    Some relationships between Unification, Restricted Unification, and Matching

    Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986.

  5. Gregor Erbach

    Textverarbeitungsprogramme - heute und morgen

    KMI Bürowirtschaft Lehre und Praxis, Winklers Verlag, Darmstadt, 1986.

  6. Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther

    The Karlsruhe Induction Theorem Proving System

    In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08), July 27 - August 1, Oxford, United Kingdom, Pages 672-674, Lecture Notes In Computer Science (LNCS), Vol. 230, ISBN 978-3-540-16780-8, Springer, London, 1986.

  7. Dieter Hutter

    Using Resolution and Paramodulation for Induction Proofs

    In: C.-R. Rollinger; W. Horn (Hrsg.). Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 265-276, Springer Verlag, IFB 124, 1986.

  8. Dieter Hutter

    Verwendung von Induktionshypothesen in Induktionsbeweisen

    In: U. Furbach; M. Heisel; W. Reif; W. Stephan (Hrsg.). Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, Construction and Synthesis of Programs, Karlsruhe, Interner Bericht, Vol. 10/89, Universität Karlsruhe, 1986.

Jahr