Research Catalog

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings /

Title
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)
Publication
Berlin ; New York : Springer-Verlag, c1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA75.5 .W64 1994Off-site

Details

Additional Authors
  • Pacholski, Leszek.
  • Tiuryn, Jerzy.
Description
ix, 541 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science ; 933
Subject
  • Computer science > Congresses
  • Logic, Symbolic and mathematical > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 3540600175 (Berlin : acid-free paper)
  • 0387600175 (New York : acid-free paper)
LCCN
95023973
Owning Institutions
Princeton University Library