close
1.

図書
図書
1. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '99, London, UK, July 5-9, 1999 : proceedings
Anthony Hunter, Simon Parsons (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1638 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
Yves Bertot ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1690
所蔵情報: loading…