Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991: Proceedings (Lecture Notes in Computer Science)

Proceedings

by: Egon Borger · G. Jager · H. Kleine Buning

Paperback

ISBN: 978-0-387-55789-2

ISBN-10: 0-387-55789-X

Springer Verlag · 1992

See also (possibly by other authors):
2008TaschenbuchComputer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, Band 626)