Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Name: Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Author: Workshop on Computer Science Logic, European Association for Computer Science Logic, European Association for Computer Science Logic. Meeting, Flum, Jörg, Rodríguez Artalejo, M. (Mario)

Workshop on Computer Science Logic, European Association for Computer Science Logic, European Association for Computer Science Logic. Meeting, Flum, Jörg, Rodríguez Artalejo, M. (Mario)

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Web Site CiNii 所蔵館 41館

Workshop on Computer Science Logic
European Association for Computer Science Logic
European Association for Computer Science Logic. Meeting
Flum, Jörg
Rodríguez Artalejo, M. (Mario)

書誌事項

タイトル: "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.)

出版者

Springer

出版年月

c1999

書籍サイズ: 24 cm

この図書・雑誌をさがす

国立国会図書館サーチ
カーリル
WorldCat

注記

Includes bibliographical references and index

書き出し

RefWorksに書き出し
EndNoteに書き出し
Mendeleyに書き出し
RDFで書き出し
Refer/BibIXで表示
RISで表示
BibTeXで表示
TSVで表示
CSVで表示
JSON-LDで表示

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報詳細情報について

書き出し

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について