Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1997
Alle Filter entfernen
Zeige Ergebnisse 31 bis 40 von 116.

  1. Hans-Jürgen Bürckert; Klaus Fischer; Jörg Siekmann

    Die EDV als Führungs- Steuerungs- und Kontrollinstrument im Wirtschafts- und Güterverkehr

    In: Tagungsband der 1. Saarbrücker Logistik-Tage. Saarbrücker Logistik-Tage, 1997.

  2. Ansgar Bernardi; Bernd Bachmann; Anna-Maria Schoeller

    Building a Homegeneous Design Assistant from Heterogeneous Experts: Results from the IMCOD Project

    In: S. T. Tan; T. N. Wong; I. Gibson (Hrsg.). Proc. International Conference on Manufacturing Automation ICMA'97. International Conference on Manufacturing Automation (ICMA), University of Hong K, Pages 941-946, 1997.

  3. Ansgar Bernardi

    Electronic Fault Recording: A Corporate Memory for Maintenance Support of Complex Machines

    In: J-P. A. Barthès (Hrsg.). Proc. International Symposium on the Management of Industrial and Corporate Knowledge. International Symposium on the Management of Industrial and Corporate Knowledge, IIIA, Pages 129-136, 1997.

  4. Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek

    Towards a Well-Founded Technology for Organizational Memories

    In: Proceedings of the AAAI Spring Symposium on Artificial Intelligence in Knowledge Management. AAAI Spring Symposium (AAAI SSS-97), March 24-26, Pages 1-7, 1997.

  5. Dieter Hutter; Michael Kohlhase

    A Colored Version of the lambda-Calculus

    In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), Townsville, Pages 291-305, Springer-Verlag, LNAI 1249, 1997.

  6. Dieter Hutter

    Hierarchical Proof Planning Using Abstractions

    In: D. Dankel II (Hrsg.). Proceedings 10th Annual Florida AI Research Symposium, FLAIRS'97, Track: Using AI methods to control automated deduction. International FLAIRS Conference (FLAIRS), Daytona Beach, Pages 181-185, M. Fishman, 1997.

  7. Dieter Hutter

    Colouring Terms to Control Equational Reasoning

    In: Journal of Automated Reasoning (JAR), Vol. 18, Pages 399-442, 1997.

  8. Dieter Hutter

    Equalizing Terms by Difference Reduction Techniques

    In: H. Kirchner; B. Gramlich (Hrsg.). Proceedings Workshop on Strategies in Automated Deduction. International Workshop on Strategies in Automated Deduction (STRATEGIES), Townsville, 1997.

  9. Dieter Hutter

    Equalising Terms by Difference Reduction Techniques

    DAI-Research Paper, Vol. No.845, 1997.

  10. Dieter Hutter

    Using Rippling to Prove the Termination of Algorithms

    DFKI, DFKI Research Reports (RR), Vol. 97-03, 1997.

Jahr