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.
7 E-böcker av 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
Engelska
DRM
€29.99
Robert Kowalski: Logic for Problem Solving, Revisited
This seminal book of Computer Science is the most cited reference on the subject of programming in logic. Originally published in 1979, this now classic text was the first comprehensive attempt to …
EPUB
Engelska
DRM
€39.99
Thom (Universitat Ulm, Germany) Fruhwirth: Constraint Handling Rules
Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of …
PDF
DRM
€62.48
Susanne Biundo & Thom Fruhwirth: KI 2004: Advances in Artificial Intelligence
…
PDF
Engelska
DRM
€57.77
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 …
PDF
Engelska
DRM
€57.37
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 …
PDF
Tyska
DRM
€17.11
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
Engelska
DRM
€57.28
