Preis-Detektiv.deArvidson, P. Sven: The Sphere of Attention
The Sphere of Attention
EAN 9781402035715
Bester Preis:
77,92€von: Averdo Bilder+Infos
Produktvorschläge:
|
von: Averdo Bilder+Infos | |
|
Graph-Grammars and Their Application to Computer Science
Graph-Grammars and Their Application to Computer Science
EAN 9783540187714
Bester Preis:
77,92€von: Averdo Bilder+Infos | |
|
Grammatical Inference and Applications
This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1994. Besides 25 research papers carefully selected and refereed by the program[...]
EAN 9783540584735
Bester Preis:
40,02€von: Averdo Bilder+Infos | |
|
Gunderson, Louise F.: Robots, Reasoning, and Reification
Robots, Reasoning, and Reification
EAN 9780387874876
Bester Preis:
77,92€von: Averdo Bilder+Infos | |
|
Huth, Michael: Logic in Computer Science 2ed
Logic in Computer Science 2ed
EAN 9780521543101
Bester Preis:
87,70€von: Averdo Bilder+Infos | |
|
Managing and Mining Uncertain Data
Managing and Mining Uncertain Data
EAN 9780387096896
Bester Preis:
75,94€von: Averdo Bilder+Infos | |
|
The Inferior Colliculus
The Inferior Colliculus
EAN 9780387220383
Bester Preis:
231,08€von: Averdo Bilder+Infos | |
|
Friedman, George: Constraint Theory
Constraint Theory
EAN 9780387234182
Bester Preis:
130,98€von: Averdo Bilder+Infos |
Fermüller, C.: Resolution Methods for the Decision Problem
EAN-Nummer: 9783540567325
TOP PREIS!
Anbieter: Averdo
Fermüller, C.: Resolution Methods for the Decision Problem
This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.
This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.
Anbieter-Kategorie: Fachbücher, Lernen & Nachschlagen > Studium & Erwachsenenbildung
Preis: 40,02 Euro (+ Versandkosten 0,00 Euro)
ID: 15350601275
Schlagworte der gewählten Anbieter-Kategorien:
fachbücher, von, history, systems, john, michael, del, on, mit, en, das, im, des, to, la, nachschlagen, for, für, die, de, der, und, of, and, in, the, lernen, studium, erwachsenenbildung, an
fachbücher, von, history, systems, john, michael, del, on, mit, en, das, im, des, to, la, nachschlagen, for, für, die, de, der, und, of, and, in, the, lernen, studium, erwachsenenbildung, an