Cover is for reference only

Computer science logic：18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: European Association for Computer Science Logic. Conference (13th 2004 Karpacz, Poland; Workshop on Computer Science Logic 2004 Karpacz, Poland)
Group Author: Tarlecki Andrzej; Marcinkowski Jerzy 1965-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2004.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3210
Subjects:
Computer logic
Carrier Form: xi, 520 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 3540230246
Index Number: TP301
CLC: TP301-532
Call Number: TP301-532/C738-1/2004
Contents: Includes bibliographical references and index.

Related Book Recommendations