Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science)
by Yuri Gurevich, Egon B??rger, Karl Meinke
ISBN 13: 9783540582779
Format: Paperback (356 pages) Publisher: Springer Published: 13 Jun 2008
Save for later