年 〜
年

検索結果 11 件

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-Verlagc1989.<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, editorSpringerc1989
全国の図書館
  • 著者標目Büchi, J. Richard Siefkes, Dirk

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, editorsSpringer-Verlagc1990
全国の図書館
  • 著者標目Büchi, J. Richard Mac Lane, Saunders Siefkes, Dirk

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)
紙図書
Springer1973.<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-Verlag1970.<MA41-26>
国立国会図書館全国の図書館
  • 著者標目Siefkes, Dirk.

Grundzüge der Logik 3. Aufl

Grundzüge der Logik 3. Aufl
紙図書
Willard Van Orman Quine ; übersetzt von Dirk SiefkesSuhrkamp1981
全国の図書館
  • 著者標目Quine, W. V. (Willard Van Orman) Siefkes, Dirk

Grundzüge der Logik 2. Aufl

Grundzüge der Logik 2. Aufl
紙図書
Willard Van Orman Quine ; [aus dem Englischen übersetzt von Dirk Siefkes]Suhrkamp1978, c1969
全国の図書館
  • 著者標目Quine, W. V. (Willard Van Orman) Siefkes, Dirk

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. SiefkesSpringer-Verlag1975
全国の図書館
  • 著者標目GI-Jahrestagung Siefkes, Dirk

Ｔｈｅ　ｍｏｎａｄｉｃ　ｓｅｃｏｎｄ　ｏｒｄｅｒ　ｔｈｅｏｒｙ　ｏｆ　ａｌｌ　ｃｏｕｎｔａｂｌｅ　ｏｒｄｉｎａｌｓ (Ｄｅｃｉｄａｂｌｅ　ｔｈｅｏｒｉｅｓ : Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)

Ｔｈｅ　ｍｏｎａｄｉｃ　ｓｅｃｏｎｄ　ｏｒｄｅｒ　ｔｈｅｏｒｙ　ｏｆ　ａｌｌ　ｃｏｕｎｔａｂｌｅ　ｏｒｄｉｎａｌｓ (Ｄｅｃｉｄａｂｌｅ　ｔｈｅｏｒｉｅｓ : Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)
紙図書
［ｂｙ］Ｊ．ＲｉｃｈａｒｄＢｕ¨ｃｈｉ［ａｎｄ］ＤｉｒｋＳｉｅｆｋｅｓ． ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９７３．
全国の図書館
  • 著者標目Ｂｕ¨ｃｈｉ, Ｊ．Ｒｉｃｈａｒｄ． Ｓｉｅｆｋｅｓ, Ｄｉｒｋ．

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 SiefkesForschungsinstitut fuer Mathematik ETH Zuerich1973
全国の図書館
  • 著者標目Büchi, J. Richard Siefkes, Dirk

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 SiefkesSpringer1973
全国の図書館
  • 著者標目Büchi, J. Richard Siefkes, Dirk

検索結果は以上です。