TY  - BOOK
A1  - Andrei Voronkov )ed.(
TI  - Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101384638
UR  /book/101384638/Automated-deductionCADE18-18th-International-C/
ER  -