Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.
No ratings yet
1990
·
English
·
Paperback