Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings

書誌事項

Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings

Sergei Artemov, Anil Nerode (eds.)

(Lecture notes in computer science, 10703 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)

Springer, c2018

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ