ผู้เขียน: Ralf Treinen

สนับสนุน

2 หนังสืออิเล็กทรอนิกส์โดย Ralf Treinen

Hubert Comon & Claude Marche: Constraints in Computational Logics: Theory and Applications
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic progr …
PDF
อังกฤษ
DRM
€57.89
Ralf Treinen: Rewriting Techniques and Applications
PDF
อังกฤษ
DRM
€58.19