国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Automatictheoremproving -- Congresses.
図書(2 件)
選択行を:
10件
20件
50件
資料名
所蔵館
責任表示
出版者
出版年
所在
1
IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada alk. paper ( Workshops in computing )
中央図書館
Graham Birtwistle (ed.).
Springer-Verlag
1991
中央5階洋
548.16||H 55||4
2
Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 U.S. ( Lecture notes in computer science.[ Lecture notes in artificial intelligence.] )
中央図書館
M.E. Stickel, (ed.).
Springer-Verlag
1990
中央5階洋
007.1||L 49||449
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。