Computer science logic:22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: CSL 2008 (2008 Bertinoro, Italy); SpringerLink (Online service); European Association for Computer Science Logic.
Group Author: Martini Simone, Prof.; Kaminski Michael.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2008.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 5213
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-540-87531-4
Carrier Form: 1 online resource (xi, 512 p.): ill.
ISBN: 9783540875314 (electronic bk.)
354087531X (electronic bk.)
Index Number: TP301
CLC: TP301-532
Contents: Includes bibliographical references and index.