国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(7)
1980年代
(3)
1990年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(11)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(11)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 11 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; Dirk Siefkes, editor.
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; Dirk Siefkes, editor.
紙
図書
Springer-Verlag
c1989.
<MA41-A66>
国立国会図書館
著者標目
Büchi, J. Richard.
Siefkes, Dirk.
Finite automata, their algebras and grammars : towards a theory of formal expressions : us : gw
Finite automata, their algebras and grammars : towards a theory of formal expressions : us : gw
紙
図書
J. Richard Büchi ; Dirk Siefkes, editor
Springer
c1989
全国の図書館
The collected works of J. Richard Büchi : U.S. : Germany
The collected works of J. Richard Büchi : U.S. : Germany
紙
図書
Saunders Mac Lane, Dirk Siefkes, editors
Springer-Verlag
c1990
全国の図書館
The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes. (Decidable theories, 2) (Lecture notes in mathematics (Berlin) 328)
The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes. (Decidable theories, 2) (Lecture notes in mathematics (Berlin) 328)
紙
図書
Springer
1973.
<MA41-61>
国立国会図書館
著者標目
Büchi, J. Richard.
Siefkes, Dirk.
Büchi's monadic second order successor arithmetic. (Decidable theories 1) (Lecture notes in mathematics, 120)
Büchi's monadic second order successor arithmetic. (Decidable theories 1) (Lecture notes in mathematics, 120)
紙
図書
Springer-Verlag
1970.
<MA41-26>
国立国会図書館
全国の図書館
著者標目
Siefkes, Dirk.
Grundzüge der Logik 3. Aufl
Grundzüge der Logik 3. Aufl
紙
図書
Willard Van Orman Quine ; übersetzt von Dirk Siefkes
Suhrkamp
1981
全国の図書館
Grundzüge der Logik 2. Aufl
Grundzüge der Logik 2. Aufl
紙
図書
Willard Van Orman Quine ; [aus dem Englischen übersetzt von Dirk Siefkes]
Suhrkamp
1978, c1969
全国の図書館
GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 : gw : us
GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 : gw : us
紙
図書
herausgegeben im Auftrag der GI von D. Siefkes
Springer-Verlag
1975
全国の図書館
The monadic second order theory of all countable ordinals (Decidable theories : Lecture notes in mathematics (Springer-Verlag))
The monadic second order theory of all countable ordinals (Decidable theories : Lecture notes in mathematics (Springer-Verlag))
紙
図書
[by]J.RichardBu¨chi[and]DirkSiefkes. ;
Springer-Verlag
1973.
全国の図書館
The complete extensions of the monadic second order theory of countable ordinals
The complete extensions of the monadic second order theory of countable ordinals
紙
図書
by J. Richard Büchi, Dirk Siefkes
Forschungsinstitut fuer Mathematik ETH Zuerich
1973
全国の図書館
The monadic second order theory of all countable ordinals : Germany : U.S.
The monadic second order theory of all countable ordinals : Germany : U.S.
紙
図書
J. Richard Büchi, Dirk Siefkes
Springer
1973
全国の図書館
検索結果は以上です。
書誌情報を一括出力