Computer Science Logic
Subtitle: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers (Lecture Notes in Computer Science)
Contributors: S. Martini (Contributor)
Publisher: Springer
Published: August 1993
Language: eng
Number of pages: 447
ISBN-13: 9780387569925