Поиск
На сайте: 684663 статей, 308715 фото.

Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998: Proceedings (книга)

Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998: Proceedings
Автор: International Conference on Automated Deduction 1998 Lindau Bavaria
Claude Kirchner
H. Kirchner
Оригинал издан: ????

«Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998: Proceedings»книга ???? года.

Содержание

Содержание

От издателя

«This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10…»

Рецензии

См. также

Ссылки