Logic for Automated Reasoning
and
Automated Reasoning for Logic
(LARARL 2006)
HAS BEEN CANCELLED
|
|
The CSR 2006 Workshop on
Logic for Automated Reasoning
|
|