Princeton University Library Catalog

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings / Leszek Pacholski, Jerzy Tiuryn, eds.

Author:
Workshop on Computer Science Logic (8th : 1994 : Kazimierz, Puławy, Poland) [Browse]
Format:
Book
Language:
English
Published/​Created:
Berlin ; New York : Springer-Verlag, c1995.
Description:
ix, 541 p. : ill. ; 24 cm.
Series:
Lecture notes in computer science ; 933 [More in this series]
Bibliographic references:
Includes bibliographical references and index.
Subject(s):
ISBN:
  • 3540600175 (Berlin : acid-free paper)
  • 0387600175 (New York : acid-free paper)
LCCN:
95023973
OCLC:
32664671
Related name:
Other views:
Staff view