This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...
اقرأ المزيد
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
اقرأ المزيد