Constraint logic programming using ECLiPSeKrzysztof R. Apt

Constraint logic programming using ECLiPSe
Krzysztof R. Apt, Mark Wallace · 2007
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2007
- שפה
- English
- הוצאה
- Cambridge University Press
- מהדורות
- 6
- עמודים
- 329
- ISBN
- 9780521866286
מקור הנתונים: Wikidata
עוד של Krzysztof R. Apt
New trends in constraintsKrzysztof R. Apt

New trends in constraints
Krzysztof R. Apt · 2000
The Logic Programming ParadigmKrzysztof R. Apt

The Logic Programming Paradigm
Krzysztof R. Apt · 1999
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt

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

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

Logic Programming Languages
Krzysztof R. Apt · 1993
Logics and Models of Concurrent SystemsKrzysztof R. Apt

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