検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：Boyer, Robert S.
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影A computational logic handbook ( Perspectives in computing ; v. 23 )中央図書館Robert S. Boyer, J. Strother MooreAcademic Press1988中央５階洋 410.12||B 69
2書影The Correctness problem in computer science ( International lecture series in computer science )中央図書館edited by R.S. Boyer and J. Strother MooreAcademic Press1981中央５階洋 548.164||C 88
選択行を
▲ページトップへ