7th International Conference on Automated Deduction, R. E. Shostak

Автор: Harald Ganzinger
Название: Automated Deduction - CADE-16
ISBN: 3540662227 ISBN-13(EAN): 9783540662228
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation.

Автор: Andrei Voronkov
Название: Automated Deduction - CADE-18
ISBN: 3540439315 ISBN-13(EAN): 9783540439318
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 18th International Conference on Automated Deduction, held in Denmark in 2002. The 27 full papers and 10 system descriptions cover proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC and more.