このページのリンク

Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.)
(Lecture notes in computer science ; 933)

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1995
本文言語 英語
大きさ ix, 541 p. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.9:L63:W67:1994

001936236

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *Workshop on Computer Science Logic (8th : 1994 : Kazimierz, Poland)
Pacholski, Leszek
Tiuryn, Jerzy
件 名 LCSH:Computer logic -- Congresses  全ての件名で検索
LCSH:Computer science -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 NDC9:007.63
LCC:QA76.9.L63
LCC:QA75.5
DC20:004/.01/5113
巻冊次 : gw ; ISBN:3540600175 REFWLINK
: us ; ISBN:0387600175 REFWLINK
ISBN 3540600175
NCID BA2544909X WCLINK
目次/あらすじ

 類似資料