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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
