Research Catalog

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Title
Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).
Author
CSL '99 (1999 : Madrid, Spain)
Publication
Berlin ; New York : Springer, 1999.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.L63 W67 1999Off-site

Holdings

Details

Additional Authors
  • Flum, Jörg.
  • Rodríguez Artalejo, M. (Mario)
Description
xi, 580 pages; 24 cm.
Series Statement
Lecture notes in computer science ; 1683
Uniform Title
Lecture notes in computer science ; 1683.
Subject
Computer logic > Congresses
Bibliography (note)
  • Includes bibliographical references.
ISBN
3540665366
LCCN
99048725
OCLC
  • 42475780
  • ocm42475780
Owning Institutions
Columbia University Libraries