Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings

• 資料種別: 図書
• ISBN: 9783642152047
• タイトル: Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings
• 著者・編者: Anuj Dawar, Helmut Veith (eds.)
• 著者標目: European Association for Computer Science Logic; https://ci.nii.ac.jp/author/DA09941096; Dawar, Anuj; Veith, Helmut
• 出版事項: Springer
• 出版年月日等: c2010
• 出版年（W3CDTF）: 2010
• 大きさ: 24 cm
• 出版地（国名コード）: gw
• 本文の言語コード: en
• 件名標目: Theoretische Informatik -- Logik -- Kongress -- Brünn <2010>; Computational logic -- Kongress -- Brünn <2010>; Logische Programmierung -- Kongress -- Brünn <2010>; Programmierlogik -- Kongress -- Brünn <2010>
• 対象利用者: 一般
• 一般注記: "The annual conference of the European Association for Computer Science Logic(EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 2010. The conference started as a series of international warkshops on Computer Science Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 24th meeting and 19th EACSL conference; it was organized at the Faculty of Informations, Masaryk University, Brno." --prif
• 関連情報: Lecture notes in computer science; https://cir.nii.ac.jp/crid/1130282272706176768
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BB03946065#entity
• 掲載誌: Lecture notes in computer science; https://cir.nii.ac.jp/crid/1130282272706176768
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BB03946065 : BB03946065