Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988: Proceedings (Lecture Notes in Computer Science)

Duisburg

by: E. Borger · H. Kleine Buning

Paperback

ISBN: 978-0-387-51659-2

ISBN-10: 0-387-51659-X

Springer Verlag · 1989

See also (possibly by other authors):
2008TaschenbuchCSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, Band 385)