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 द्वारा ईबुक 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
अंग्रेज़ी
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 de …
EPUB
अंग्रेज़ी
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 C …
PDF
DRM
€62.95
Susanne Biundo & Thom Fruhwirth: KI 2004: Advances in Artificial Intelligence
…
PDF
अंग्रेज़ी
DRM
€57.19
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
अंग्रेज़ी
DRM
€57.81
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
जर्मन
DRM
€17.09
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
अंग्रेज़ी
DRM
€57.78
