Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1998
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 102.

  1. Serge Autexier; Heiko Mantel; Werner Stephan

    Simultaneous Quantifier Elimination

    In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI), Bremen, Springer Verlag, LNCS 1504, 1998.

  2. Dieter Hutter

    Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on Abstraction, Reformulation, and Approximation (SARA), Asimolar, Pacific Grove, CA, USA, Pages 72-78, 1998.

  3. Dieter Hutter

    Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), Bremen, Germany, Pages 153-164, Springer-Verlag, LNAI 1504, Berlin, 1998.

  4. Dieter Hutter

    Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  5. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning (EWCBR 98). European Workshop on Case Based Reasoning (EWCBR), Pages 76-87, LNCS, Vol. 1488, Springer, Berlin, Heidelberg,, 1998.

  6. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages 397-411, LNCS, Vol. 1421, Springer, 1998.

  7. Georg Rock; Werner Stephan; Andreas Wolpers

    Assumption-Commitment Specifications and Safety-Critical Systems

    In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, Cottbus, Germany, Pages 125-135, Shaker Verlag, Aachen, 1998.

  8. Judith Klein; Sabine Lehmann; Klaus Netter; Tillmann Wegst

    DiET in the Context of MT Evaluation

    In: R. Nübel; U. Seewald-Heeg (Hrsg.). Evaluation of the Linguistic Performance of Machine Translation Systems. Proceedings of the KONVENS '98 Workshop. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS), October 5-7, Universität Bonn, Germany, Pages 107-126, Gardez!-Verlag, 1998.

  9. Hans Uszkoreit; Thorsten Brants; Denys Duchier; Brigitte Krenn; Lars Konieczny; Stephan Oepen; Wojciech Skut

    Studien zur performanzorientierten Linguistik. Aspekte der Relativsatzextraposition im Deutschen

    CLAUS-Report, Universität des Saarlandes, Vol. 99, 4/1998.

  10. W. G. ter Stal; J.-H. Beijert; G. de Bruin; J. van Gent; Franciska de Jong; W. Kraaij; Klaus Netter; G. Smart

    Twenty-One: Cross-Language Disclosure and Retrieval of Multimedia Documents on Sustainable Development

    In: Computer Networks and ISDN Systems, Vol. 30, No. 13, Pages 1237-1248, 1998.

Jahr