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

4. CSL 1990: Heidelberg, Germany

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (Eds.): Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings. Lecture Notes in Computer Science 533 Springer 1991, ISBN 3-540-54487-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Wed Nov 11 03:53:44 2009 by Michael Ley (ley@uni-trier.de)