検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ Recursive function theory and logic
書誌詳細
  

NCIDBA04183562
タイトルRecursive function theory and logic
出版者New York : Academic Press , 1971
形態xv, 338 p ; 24 cm
注記Bibliography: p. 321-326
シリーズ名Computer science and applied mathematics
分類LCC:QA248.5
DC:511/.3
件名LCSH:Recursivefunctions
LCSH:Logic,Symbolicandmathematical
著者情報Yasuhara, Ann
和洋区分洋
標題言語英語
本文言語英語
出版国アメリカ合衆国
ISBN0127689508
番号LCCN : 74154379
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(書庫)410.1:Y29r720428900 利用可  

選択行を：  

▲ページトップへ