Reset Filters
Branch: 上海图书馆东馆

Cover is for reference only

Computer science logic：10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Saved in:
Bibliographic Details
Corporate Authors: European Association for Computer Science Logic. Conference 1996 Utrecht, Netherlands) (Utrecht, Netherlands)); Workshop on Computer Science Logic 1996 Utrecht, Netherlands) (Utrecht, Netherlands))
Group Author: (Dirk), 1932-; Bezem M.; (Marc) 1956-; Dalen D. van
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1997.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1258
Subjects:
Computer logic > Congresses.
Carrier Form: viii, 471 p.: ill. ; 24 cm.
ISBN: 3540631720 (pbk. : alk. paper)
Index Number: TP302
CLC: TP302.2-532
Call Number: TP302.2-532/C738/1996/
Contents: Includes bibliographical references and index.

Related Book Recommendations