Csl 87: 1st Workshop on Computer Science Logic (Lecture Notes in Computer Science)

by E. Borger Paperback details (United States). ISBN: 978-0-387-50241-0 ISBN-10: 0-387-50241-6 Springer Verlag · 1988