Automated theorem proving : after 25 years
AmericanMathematicalSociety, W.W. Bledsoe, 著ほか
- 出版社
- American Mathematical Society
- 発売日
- 1984-01-01
- ISBN
- 9780821850275
本ページはアフィリエイト広告を含みます
AmericanMathematicalSociety, W.W. Bledsoe, 著ほか
まだ評価がありません。
まだレビューがありません。