城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Siefkes Dirk)
該当件数:5件
Decidable theories I; Buchi's monadic second order successor arithmetic / {by} Dirk Siefkes.
120. - Berlin : Springer , 1970. - (Lecture notes in mathematics ; 120)
図書
The monadic second order theory of all countable ordinals / {by} J. Richard BN̄chi {and} Dirk Siefkes.
2. - Berlin : Springer , 1973. - (Decidable theories ; 2). - (Lecture notes in mathematics ; 328)
GI-4.Jahrestagung : Berlin, 9.–12. Oktober 1974 / von Dirk Siefkes
1st ed. 1975.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975). - (Lecture Notes in Computer Science. ISSN:16113349 ; 26)
電子ブック
Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic / by Dirk Siefkes ; edited by Gert H. Müller
1st ed. 1970.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1970). - (Lecture Notes in Mathematics. ISSN:16179692 ; 120)
Finite Automata, Their Algebras and Grammars : Towards a Theory of Formal Expressions / by J. Richard Büchi ; edited by Dirk Siefkes
1st ed. 1989.. - (New York, NY : Springer New York : Imprint: Springer , 1989)