Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodríguez-Artalejo (eds.)

資料形態:
図書
形態:
xi, 580 p. ; 24 cm
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名:
Lecture notes in computer science ; 1683 <BA00009279>
書誌ID:
BA43279763
子書誌情報
Loading
所蔵情報
Loading availability information
eリソース ※フルテキスト閲覧可
Loading
このページでは、島根県立大学e漢字フォント の漢字フォントを使用しました。