Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1998
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 102

  1. Paul Buitelaar

    CoreLex: An Ontology of Systematic Polysemous Classes

    In: Proceedings of the 1st International Conference on Formal Ontology in Information Systems (FOIS'98), June 6-8. International Conference on Formal …

  2. Tania Avgustinova

    Review of: Cook, Walter A.: "Case Grammar Applied". A Publication of The Summer Institute of Linguistics and The University of Texas at Arlington. 1998

    1998.

  3. Tania Avgustinova

    On Word Order Types in Bulgarian

    In: Beiträge der Europäischen Slavistischen Linguistik (POLYSLAV 1). Pages 19-25, Die Welt der Slaven, 2. Sammelband, Vol. 1, Verlag Otto Sagner, …

  4. Tania Avgustinova; Bistra Andreeva

    Intonational Properties of Bulgarian Replicated Nominal Material. A Study Based on Map Task Dialogues

    In: Proceedings of the 1st Conference on Linguistic Theory in Eastern Europaen Languages. Conference on Linguistic Theory in Eastern European …

  5. Tania Avgustinova

    Determinedness and Replication Potential of Nominal Material in Bulgarian

    In: Balkanistica. Pages 1-17, Vol. 11, Design Systems Printing, 1998.

  6. Dieter Hutter

    Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

  7. 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), …

  8. 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.

  9. 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 …

  10. 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 …

Jahr