[(Computer Science Logic: CSL '94, Kazimierz, September 25-30, 1994 - Selected Papers 8th Workshop: 8th Workshop, Csl '94, Kazimierz, Poland, September 25 - 30, 1994, Selected Papers)] [by: Leszek Pacholski]

by Leszek Pacholski Taschenbuch details (Canada). ISBN: 978-0-387-60017-8 ISBN-10: 0-387-60017-5 Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 1995