Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Petr Hájek (auth.), Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998.
The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.
The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.
カテゴリー:
年:
1999
版:
1
出版社:
Springer-Verlag Berlin Heidelberg
言語:
english
ページ:
442
ISBN 10:
3540659226
ISBN 13:
9783540659228
シリーズ:
Lecture Notes in Computer Science 1584
ファイル:
PDF, 3.88 MB
IPFS:
,
english, 1999
この書籍は、著作権所有者のクレームによりダウンロードできません。
Beware of he who would deny you access to information, for in his heart he dreams himself your master
ファイル拡張子変換機能
検索結果をもっと見る
その他多くの特典 
