Skip to main content
SpringerLink
Log in

GWAI-81

German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981

  • Conference proceedings
  • © 1981

Overview

Editors:
  1. Jörg H. Siekmann

    1. Institut für Informatik I, Universität Karlsruhe, Karlsruhe 1, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (28 papers)

  1. Termersetzungssysteme und Automatisches Beweisen

    1. Term Reduction Systems and Algebraic Algorithms

      • Rüdiger Loos
      Pages 214-234

    2. A Noetherian Rewrite System for Idempotent Semigroups

      • J. Siekmann, P. Szabó
      Pages 235-245

    3. On the Completeness of Connection Graph Resolution

      • W. Bibel
      Pages 246-247

    4. Generating Small Models of First Order Axioms

      • K. M. Hörnig
      Pages 248-255

  3. Back Matter

    Pages 325-325
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Institut für Informatik I, Universität Karlsruhe, Karlsruhe 1, Germany

    Jörg H. Siekmann

Bibliographic Information

  • Book Title: GWAI-81

  • Book Subtitle: German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981

  • Editors: Jörg H. Siekmann

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-662-02328-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-10859-7Published: 01 August 1981

  • eBook ISBN: 978-3-662-02328-0Published: 29 June 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: XII, 320

  • Number of Illustrations: 14 b/w illustrations

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation