Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. (Lecture Notes in Computer Science)

by: E. Borger · H. Kleine Buning Paperback details (United States). ISBN: 978-0-387-52753-6 ISBN-10: 0-387-52753-2 Springer Verlag · 1990