Advertisement

Künstliche Intelligenz

Frühjahrsschule Teisendorf, 15.–24. März 1982

  • Wolfgang Bibel
  • Jörg H. Siekmann
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N2-XIII
  2. Jörg H. Siekmann
    Pages 1-60
  3. Peter Raulefs
    Pages 61-98
  4. W. Bibel
    Pages 99-140
  5. B. Buchberger
    Pages 141-201
  6. Bernd Neumann
    Pages 285-355
  7. J. Foith
    Pages 357-381
  8. Back Matter
    Pages 383-387

About these proceedings

Keywords

Beweisen Bibel Bildsegmentierung Expertensystem Künstliche Intelligenz Roboter Verifikation Wissen natürlichsprachliche Systeme

Editors and affiliations

  • Wolfgang Bibel
    • 1
  • Jörg H. Siekmann
    • 2
  1. 1.Institut für Informatik der Technischen UniversitätMünchen 2Germany
  2. 2.Universität KarlsruheInstitut für Informatik 1Karlsruhe 1Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-68828-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11974-6
  • Online ISBN 978-3-642-68828-7
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Health & Hospitals
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering