dblp.uni-trier.de www.uni-trier.de

9. CSL 1995: Paderborn, Germany

Hans Kleine Büning (Ed.): Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Lecture Notes in Computer Science 1092 Springer 1996, ISBN 3-540-61377-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 9 23:17:27 2009 by Michael Ley (ley@uni-trier.de)