Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers (Lecture Notes in Computer Science)

Selected

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

Paperback

ISBN: 978-0-387-56992-5

ISBN-10: 0-387-56992-8

Springer Verlag · 1993

See also (possibly by other authors):
2008TaschenbuchComputer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, Band 702)