Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990: Proceedings (Lecture Notes in Computer Science)

Heidelberg

by: Germany) Workshop on Computer Science Logic 1990 (Heidelberg · Egon Borger

Paperback

ISBN: 978-0-387-54487-8

ISBN-10: 0-387-54487-9

Springer Verlag · 1991

See also (possibly by other authors):
2008TaschenbuchComputer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science, Band 533)