Krzysztof R. Apt

New trends in constraints
Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi · 2000
על הספר
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.
פרטי הספר
- שנה
- 2000
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 338
- ISBN
- 9783540678854
מקור הנתונים: Wikidata
עוד של Krzysztof R. Apt
Krzysztof R. Apt

The Logic Programming Paradigm
Krzysztof R. Apt · 1999
Krzysztof R. Apt

Verification of Sequential and Concurrent Programs
Krzysztof R. Apt · 1997
Krzysztof R. Apt

Verification of Sequential and Concurrent Programs
Krzysztof R. Apt · 1991
Krzysztof R. Apt

Constraint logic programming using ECLiPSe
Krzysztof R. Apt · 2007
Krzysztof R. Apt

Logic Programming Languages
Krzysztof R. Apt · 1993
Krzysztof R. Apt

Logics and Models of Concurrent Systems
Krzysztof R. Apt · 1985
Krzysztof R. Apt
Edsger Wybe Dijkstra
Krzysztof R. Apt · 2022
Krzysztof R. Apt
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Krzysztof R. Apt · 2011
Krzysztof R. Apt
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt · 2011
Krzysztof R. Apt
Recent Advances in Constraints
Krzysztof R. Apt · 2004