Computer science logic : 22nd international workshop, CSL 2008 : 17th annual conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5213)

Computer science logic : 22nd international workshop, CSL 2008 : 17th annual conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2008, Bertinoro, Italy.

(Lecture Notes in Computer Science ; 5213)

Call No. (NDL): M17-09-314
Bibliographic ID of National Diet Library: 000009920571

Material type: 図書

Author: University of Bologna. Department of Computer Science.ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: xi, 512 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and an abstract.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783540875307 (ISBN-13)
3540875301
ISSN (series): 0302-9743
Title: Computer science logic : 22nd international workshop, CSL 2008 : 17th annual conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2008, Bertinoro, Italy.
Series Title: Lecture Notes in Computer Science ; 5213
Author Heading: University of Bologna. Department of Computer Science.
Kaminski, Michael.
Martini, Simone.
CSL 2008 (2008 : Bertinoro, Italy)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: xi, 512 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer logic -- Congresses.
LCC: QA76.9.L63
NDLC: M17
Note (General): Papers and an abstract.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-09-314
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009920571
http://id.ndl.go.jp/bib/000009920571
OCLC No.: 271456773
https://www.worldcat.org/oclc/271456773
Bibliographic Record Category (NDL): 215