岐阜大学図書館蔵書検索（OPAC）

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 3 件

図書

1. GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 (: gw ; : us)

herausgegeben im Auftrag der GI von D. Siefkes

出版情報:	Berlin ; New York : Springer-Verlag, 1975
シリーズ名:	Lecture notes in computer science ; 26
子書誌情報:	loading…
所蔵情報:	図書館

図書

2. The monadic second order theory of all countable ordinals (: Germany ; : U.S.)

J. Richard Büchi, Dirk Siefkes

出版情報:	Berlin ; New York : Springer, 1973
シリーズ名:	Lecture notes in mathematics ; 328 Decidable theories ; 2
子書誌情報:	loading…
所蔵情報:	図書館

図書

3. Büchi's monadic second order successor arithmetic

Dirk Siefkes

出版情報:	Berlin : Springer-Verlag, 1970
シリーズ名:	Lecture notes in mathematics ; 120 Decidable theories ; 1
子書誌情報:	loading…
所蔵情報:	図書館