Yazar
Ralf Treinen
2 cilt bulundu.
Cilt sonuçları
Constraints in Computational Logics : Theory and Applications
Hubert Comon, Claude Marche, Ralf Treinen · Springer London, Limited
316 sayfa · 2003
Constraint programming (computer science) / Logic programming
Constraints in computational logics
Hubert Comon, Claude Marché, Ralf Treinen, ESPRIT CCL Working Group · Springer
Sayfa sayısı yok · 2001
Constraint programming (Computer science) / Congresses / Logic programming / Symbolic and mathematical Logic