Computer science logic:8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic 1994 Kazimierz)
Group Author: Tiuryn Jerzy; Pacholski Leszek
Published: Springer-Verlag,
Publisher Address: Berlin
Publication Dates: c1995.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 933
Subjects:
Carrier Form: ix, 541 p.: ill. ; 24 cm.
ISBN: 3540600175 (Berlin : acid-free paper)
Index Number: TP302
CLC: TP302.2-532
Call Number: TP302.2-532/C738/1994/
Contents: Includes bibliographical references (p. 541) and index.