Vor Ort
Merkzettel Warenkorb
  • Produktbild: GWAI-81
  • Produktbild: GWAI-81
Band 47

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

Aus der Reihe Subreihe Künstliche Intelligenz

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.08.1981

Abbildungen

XII, 320 p. 14 illus.

Herausgeber

Jörg Siekmann

Verlag

Springer Berlin

Seitenzahl

320

Maße (L/B/H)

24,4/17/1,9 cm

Gewicht

581 g

Sprache

Englisch

ISBN

978-3-540-10859-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.08.1981

Abbildungen

XII, 320 p. 14 illus.

Herausgeber

Jörg Siekmann

Verlag

Springer Berlin

Seitenzahl

320

Maße (L/B/H)

24,4/17/1,9 cm

Gewicht

581 g

Sprache

Englisch

ISBN

978-3-540-10859-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: GWAI-81
  • Produktbild: GWAI-81
  • Computersehen und Roboterforschung.- Models and Structures in Image Processing (Hauptvortrag).- On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects (Fachvortrag).- Robotics Research: From Toy Worlds to Industrial Applications (Hauptvortrag).- Natürlichsprachliche KI-Systeme.- Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive (Hauptvortrag).- SWISS — A Natural Language Question Answering System for Scene Analysis (Fachvortrag).- Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene (Fachvortrag).- Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata (Fachvortrag).- Expertensysteme/Verarbeitung Natürlicher Sprache.- Expert Systems: State of the Art and Future Prospects (Hauptvortrag).- An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types (Fachvortrag).- Context Directed Translation (Fachvortrag).- GLP: A Linguistic Processor (Abstract).- KI-Sprachen und Deren Anwendungen.- AI Languages and AI Machines: An Overview (Hauptvortrag).- A Concurrent Chart Parser (Abstract).- A Parallel Connection Graph Proof Procedure (Fachvortrag).- Integrated Knowledge-Based Information Manipulation Systems (Abstract).- Automatisches Beweisen und Connectiongraphverfahren.- Mating in Matrices (Hauptvortrag).- Subsumption and Connectionsgraphs (Fachvortrag).- Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure (Abstract).- Elimination of Redundant Links in Extended Connection Graphs (Fachvortrag).- Termersetzungssysteme und Automatisches Beweisen.- Term Reduction Systems and Algebraic Algorithms (Hauptvortrag).- A Noetherian Rewrite Systemfor Idempotent Semigroups (Fachvortrag).- On the Completeness of Connection Graph Resolution (Abstract).- Generating small Models of First Order Axioms (Fachvortrag).- Programmverifikation/Sprache/Spiele.- Programmverification at Stanford: Past, Present Future (Hauptvortrag).- A System for Understanding Continuous German Speech (Fachvortrag).- Verarbeitung von externer und interner Situation in Überzeugungssystemen (Fachvortrag).- Structures for Knowledge-Based Chess Programs (Fachvortrag).- Informationsgewinnung durch automatisches Erzeugen zielbezogener Fragen (Fachvortrag).