東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #International Conference on Automated Deduction)
該当件数:4件
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 230)
図書
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 170)
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1831 . Lecture notes in artificial intelligence)
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 310)