Computer science logic:12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic (12th 1998 Brno, Czech Republic)
Group Author: Gottlob G.; (Georg); Grandjean E.; (Etienne); Seyr Katrin.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: 1999.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1584
Subjects:
Carrier Form: xv, 429 p.: ill. ; 23 cm.
ISBN: 3540659226 (softcover : alk. paper)
Index Number: TP301
CLC: TP301-532
Call Number: TP301-532/C738/1998/
Contents: Includes bibliographical references.