Automated Deduction - CADE-21

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings 1st 版 著者: Frank Pfenning 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Deduction - CADE-21 : 9783540735953, 354073595X および 印刷版のISBNは 9783540735946, 3540735941. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings 1st 版 著者: Frank Pfenning 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Deduction - CADE-21 : 9783540735953, 354073595X および 印刷版のISBNは 9783540735946, 3540735941. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。