CADE
はじめに
自動演繹に関する有名な国際会議
情報
- CADE - the Conference on Automated Deduction
- 最近は2年に一度開催。IJCAR(International Joint Conference on Automated Reasoning)でもセッション?をもっている様子。これも2年に一度。よって、CADEとIJCARが交互に開かれている。
論文集:
CADE 5(1980年開催)からLecture Note in Computer Scienceシリーズで出版。
戻る
- ConerencesIndex
- Yuichi Goto's page