3. Österreichische Artificial-Intelligence-Tagung

Wien, 22–25. September 1987

AvErnst Buchberger,Johannes Retti

Häftad, Tyska, 1987

Del i serien Informatik-Fachberichte

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1987-09-09
Mått:170 x 244 x 11 mm
Vikt:349 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:181
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540183846

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemlösen.- Probabilities in Game-Playing: Possible Meanings and Applications.- Knowledge Base Management.- The RQA/FQI Strategy — Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems.- Natürlichsprachige Systeme.- Towards Automatic Semantic Classification for a Natural Language Understanding System.- Parsing Phonetic Segments into Syllables.- Knowledge Engineering.- Knowledge Engineering mit KNOPF.- PAMELA — Eine deklarative Programmiersprache für Echtzeit-Anwendungen.- Ein Werkzeug zum Wissenserwerb.- Expertensysteme.- LST1 — Ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleichs.- Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten Modells in ARTEX.- Caching and Consistency, a Solution in RLL-1.- Logic & Programming.- VIP — Eine integrierte Programmierumgebung für Prolog.- On the Integration of Equality, Sorts, and Logic Programming.- Taxonomical Reasoning in Logic Programming.- Synthesis of Specifications from Programs.- Reasoning about Theories with a Finite Model.- Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können.

Mer från samma författare

Artificial Intelligence — Eine Einführung

Harald Trost, Robert Trappl, Ingeborg Steinacker, Alfred Kobsa, Werner Horn, Ernst Buchberger, Bruno Buchberger, Wolfgang Bibel, Johannes Retti

E-bok

2019

452 kr

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost - Artificial Intelligence — Eine Einführung, Häftad

Del 2

Artificial Intelligence — Eine Einführung

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost

Häftad, 1986

519 kr

3. Österreichische Artificial-Intelligence-Tagung

Johannes Retti, Ernst Buchberger

E-bok

2013

608 kr

Mer från samma serie

Programmiersprachen

H.J. Schneider, M. Nagl

Häftad, 1976

588 kr

Betrieb von Rechenzentren

A. Schreiner

Häftad, 1976

588 kr

Rechnernetze und Datenfernverarbeitung

D. Haupt, H. Petersen

Häftad, 1976

588 kr

Computer Architecture

W. Händler

Häftad, 1976

1 136 kr

GI — 6. Jahrestagung

E. J. Neuhold

Häftad, 1976

588 kr

Fachtagung Prozessrechner 1977

G. Schmidt

Häftad, 1977

588 kr

Digitale Bildverarbeitung Digital Image Processing

H.-H. Nagel

Häftad, 1977

588 kr

Modelle für Rechensysteme

P.P. Spies

Häftad, 1977

1 136 kr

GI — 7. Jahrestagung

H. J. Schneider

Häftad, 1977

1 136 kr

Del 11

Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren

R. Gnatz, K. Samelson

Häftad, 1977

571 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr

Building ASEAN

Thomas J. Reckford, Ronald D. Palmer

Häftad, 1987

506 kr

Artificial Intelligence — Eine Einführung

Harald Trost, Robert Trappl, Ingeborg Steinacker, Alfred Kobsa, Werner Horn, Ernst Buchberger, Bruno Buchberger, Wolfgang Bibel, Johannes Retti

E-bok

2019

452 kr

Del 2

Artificial Intelligence — Eine Einführung

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost

Häftad, 1986

519 kr

Soviet Submarine Operations in Swedish Waters

Milton Leitenberg

Häftad, 1987

409 kr

3. Österreichische Artificial-Intelligence-Tagung

Johannes Retti, Ernst Buchberger

E-bok

2013

608 kr

Del 145

Kommunikationskonzepte für verteilte transaktionsorientierte Systeme

Kurt Rothermel

Häftad, 1987

571 kr

Building ASEAN

Thomas J. Reckford, Ronald D. Palmer

Inbunden, 1987

839 kr

Soviet Submarine Operations in Swedish Waters

Milton Leitenberg

Inbunden, 1987

908 kr

5. Österreichische Artificial-Intelligence-Tagung

Johannes Retti, Karl Leidlmair

Häftad, 1989

1 136 kr

3. Österreichische Artificial-Intelligence-Tagung

Wien, 22–25. September 1987

AvErnst Buchberger,Johannes Retti

Häftad, Tyska, 1987

Del i serien Informatik-Fachberichte

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1987-09-09
Mått:170 x 244 x 11 mm
Vikt:349 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:181
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540183846

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemlösen.- Probabilities in Game-Playing: Possible Meanings and Applications.- Knowledge Base Management.- The RQA/FQI Strategy — Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems.- Natürlichsprachige Systeme.- Towards Automatic Semantic Classification for a Natural Language Understanding System.- Parsing Phonetic Segments into Syllables.- Knowledge Engineering.- Knowledge Engineering mit KNOPF.- PAMELA — Eine deklarative Programmiersprache für Echtzeit-Anwendungen.- Ein Werkzeug zum Wissenserwerb.- Expertensysteme.- LST1 — Ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleichs.- Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten Modells in ARTEX.- Caching and Consistency, a Solution in RLL-1.- Logic & Programming.- VIP — Eine integrierte Programmierumgebung für Prolog.- On the Integration of Equality, Sorts, and Logic Programming.- Taxonomical Reasoning in Logic Programming.- Synthesis of Specifications from Programs.- Reasoning about Theories with a Finite Model.- Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können.