Skip to main content
SpringerLink
Log in

Österreichische Artificial Intelligence-Tagung

Wien, 24.–27. September 1985

  • Conference proceedings
  • © 1985

Overview

Editors:
  1. Harald Trost

    1. Institut für Medizinische Kybernetik und Artificial Intelligence, Universität Wien, Wien, Österreich

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Johannes Retti

    1. Siemens AG Österreich, Wien, Österreich

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 106)

Part of the book sub series: Subreihe Künstliche Intelligenz (2252)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages N2-VIII
    Download chapter PDF

  3. Natürlichsprachige Systeme

    1. Morphologische Analyse und Intelligente Fehlerkorrektur in Vie-Lang

      • Georg Dorffner, Harald Trost
      Pages 42-55

    2. A Heuristic Model for Treatment of Vague Time Descriptions

      • Helmut Horacek
      Pages 56-64

    3. Graphon — Ein System zur Sprachsynthese bei Texteingabe

      • Markus Kommenda
      Pages 65-71

    4. Parsing Mit Controlled Active Procedures

      • Heinz-Dirk Luckhardt
      Pages 72-80

  6. Automatisches Beweisen und Programmieren

    1. Eine Methode zur Automatischen Problemreduktion

      • M. Baaz, A. Leitsch
      Pages 154-163

    2. The Lops-Approach: Towards New Syntheses of Algorithms

      • Bertram Fronhöfer
      Pages 164-172
Back to top

Keywords

Editors and Affiliations

  • Institut für Medizinische Kybernetik und Artificial Intelligence, Universität Wien, Wien, Österreich

    Harald Trost

  • Siemens AG Österreich, Wien, Österreich

    Johannes Retti

Bibliographic Information

  • Book Title: Österreichische Artificial Intelligence-Tagung

  • Book Subtitle: Wien, 24.–27. September 1985

  • Editors: Harald Trost, Johannes Retti

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-46552-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-15695-6Published: 01 September 1985

  • eBook ISBN: 978-3-642-46552-9Published: 13 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VIII, 214

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation