東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Siefkes Dirk)
該当件数:2件
The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes
Berlin : Springer , 1973. - New York. - (Lecture notes in mathematics ; 328 .). - (Decidable theories ; 28 .)
図書
GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 / herausgegeben im Auftrag der GI von D. Siefkes
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 26)