Поиск
На сайте: 763803 статей, 327745 фото.

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…»

Рецензии

См. также

Ссылки