Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 101.
  1. Proactive Knowledge Delivery for Enterprise Knowledge Management

    In: SEKE'99 The Eleventh International Conference on Software and Knowledge Engineering. International Conference on Software Engineering and Knowledge Engineering (SEKE), Kaiserslautern, 6/1999.

  2. Developing a Knowledge Management Technology - An Encompassing View on KnowMore, Know-Net, and Enrich

    In: Fawzi Daoud (Hrsg.). IEEE WET-ICE'99 Workshop on Knowledge Media Networking, Stanford, 16-18 June. IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 6/1999.

  3. Hui Xu

    English-Style and Chinese-Style Topic: A Uniform Semantic Analysis

    In: 13th Pacific Asia Conference on Language, Information and Computation (PACLIC 13), February 10-12. Pacific Asia Conference on Language, Information and Computation (PACLIC), 1999.

  4. Annotated Reasoning

    In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on Automated Deduction (CADE), 1999.

  5. Workshop on Automation of Proofs by Mathematical Induction

    Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.

  6. Georg Rock; Werner Stephan; Andreas Wolpers

    Modular Reasoning about Structured TLA Specifications

    In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for System Specification, Development and Verification, Pages 217-229, Advances in Computing Science, Springer, 1999.

  7. Georg Rock; Werner Stephan; Andreas Wolpers

    Modeling Dynamic Processes in TLA

    In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, Pages 185-192, Herbert Utz Verlag, 1999.

  8. Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer

    Structured Formal Development in VSE II: The Robertino Case Study

    In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German ENCRESS / ISA-EUNET Event (ENCRESS-99), 3rd, May 3-5, Bad Honnef, Germany, Pages 138-152, Bericht ISTec-A-367, ISBN 3-00-004872-3, ISTec, 1999.

  9. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Saratoga Springs, Pages 217-231, LNAI 1617, Springer, 6/1999.

  10. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.