Computer Science Logic
10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996. Proceedings.
Autor:
Marc Bezem, Dirk van Dalen
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.24
zł
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Work...