Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
