Computer Science Logic
10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996. Proceedings.
Автор:
Marc Bezem, Dirk van Dalen
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.72
€
103.11 лв
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Work...