検索条件入力書誌詳細 > 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Automatictheoremproving -- Congresses
選択行を:
 資料名所蔵館責任表示出版者出版年所在
1書影5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : gw , : us ( Lecture notes in computer science ; 87 )中央図書館edited by W. Bibel and R. KowalskiSpringer-Verlag1980中央5階洋 007.1||L 49||87
2書影7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings : gw , : us ( Lecture notes in computer science ; 170 )中央図書館edited by R.E. ShostakSpringer-Verlag1984中央5階洋 007.1||L 49||170
3書影8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings : gw , : us ( Lecture notes in computer science ; 230 )中央図書館edited by Jörg H. SiekmannSpringer-Verlag1986中央5階洋 007.1||L 49||230
4書影9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings : gw , : us ( Lecture notes in computer science ; 310 )中央図書館E. Lusk, R. Overbeek (eds.)Springer-Verlag1988中央5階洋 007.1||L 49||310
5書影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-Verlag1991中央5階洋 548.16||H 55||4
6書影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-Verlag1990中央5階洋 007.1||L 49||449
選択行を: