The editor Uwe Schöning is a professor of Theoretical Computer Science at the University of Ulm, Germany. He introduced the low and high hierarchies to structural complexity theory to describe the internal structure of the complexity class NP. Later, he invented a much-cited SAT-Algorithm. He has also authored several popular textbooks on Logic in Computer Science.
6 Ebooks de Thom Fruhwirth
Hariolf Betz: A Unified Analytical Foundation for Constraint Handling Rules
The non-deterministic rule-based programming language of Constraint Handling Rules (CHR) features a remarkable combination of desirable properties: a foundation in classical logic, powerful analysis …
EPUB
Engleză
DRM
€29.99
Susanne Biundo & Thom Fruhwirth: KI 2004: Advances in Artificial Intelligence
…
PDF
Engleză
DRM
€57.99
Thom Fruhwirth & Tom Schrijvers: Constraint Handling Rules
The Constraint Handling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen, ithasbecomeamajordeclarativespeci?cationandimplemen- tion language for constraint-based algorithms and applica …
PDF
Engleză
DRM
€57.76
Slim Abdennadher & Thom Fruhwirth: Constraint-Programmierung
Das Buch gibt einen kompakten, aber umfassenden Überblick über das Problemlösen und Programmieren mit ‘Constraints’ (Randbedingungen). Diese aktuelle Programmiermethodik ermöglicht es, Aufgaben direk …
PDF
Germana
DRM
€17.13
Slim Abdennadher & Thom Fruhwirth: Essentials of Constraint Programming
The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information …
PDF
Engleză
DRM
€57.61
