close
1.

図書
図書
1. Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Harald Ganzinger (ed.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
Niel V. Murray (ed.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1617 . Lecture notes in artificial intelligence
所蔵情報: loading…