Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.).

Conference Author:: CSL '97 (1997 : Århus, Denmark)
Published:: Berlin ; New York : Springer, [1998]
Copyright Date:: ©1998
Physical Description:: viii, 509 pages ; 24 cm.
Additional Creators:: Nielsen, M. (Mogens), 1949-, Thomas, Wolfgang, 1947-, and CSL '97 (1997 : Århus, Denmark)

Browse Nearby on Shelf

Finding items...

Series:

Subject(s):

ISBN:

3540645705 (softcover : alk. paper)

Bibliography Note:

Includes bibliographical references and index.

View MARC record | catkey: 1674948