検索絞り込み条件絞り込み条件title 項目を閉じる絞り込み条件絞り込み条件検索結果 46 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りACM Transactions on Computational LogicACM Transactions on Computational Logic紙雑誌ACM<Z54-J660>国立国会図書館全国の図書館一般注記Description based on the latest issue A new function algebra of EXPTIME functions by safe nestedrecursion, to appear in ACM Transactions on Computational Logic(ToCL).A new function algebra of EXPTIME functions by safe nestedrecursion, to appear in ACM Transactions on Computational Logic(ToCL).記事p.0-全国の図書館検索結果は以上です。書誌情報を一括出力