Catalogo · 9783540446545
New trends in constraints
ISBN 9783540446545
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Constraint Logic Programming using Eclipse
Krzysztof R Apt
Lectures in game theory for computer scientists
Krzysztof R. Apt, Erich Grädel
Recent Advances in Constraints
Krzysztof R. Apt, François Fages, Francesca Rossi, Peter Szeredi, Josef Váncza
The Logic Programming Paradigm
Krzysztof R. Apt
Logics and Models of Concurrent Systems
Krzysztof R. Apt
Edsger Wybe Dijkstra
Krzysztof R. Apt, Tony Hoare
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Principles of constraint programming
Krzysztof R. Apt
New perspectives on games and interaction
Krzysztof R. Apt, Robert Van Rooij
Logic programming languages
Krzysztof R. Apt, J. W. de Bakker
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent