Automated Deduction — Cade-17: 17th International Conference on Automated Deduction, Pittsburgh, Pa, Usa, June 2000: Proceedings (книга)
Automated Deduction — Cade-17: 17th International Conference on Automated Deduction, Pittsburgh, Pa, Usa, June 2000: Proceedings | |
Автор: | Pa International Conference on Automated Deduction 2000 Pittsburgh David A. McAllester |
---|---|
Оригинал издан: | ???? |
«Automated Deduction — Cade-17: 17th International Conference on Automated Deduction, Pittsburgh, Pa, Usa, June 2000: Proceedings» — книга ???? года.
Содержание |
Содержание
От издателя
«This book constitutes the refereed proceedings of the 17th International Conference on Automated Deduction, CADE-17, held in Pittsburgh, Pennsylvania, USA, in June 2000. The 24 revised full research papers and 15 system descriptions presented were…»