Automated Reasoning
Automated Reasoning, Deduction, Theorem Proving and Model-Checking:
CologNet, the Network of Excellence in Computational Logic.
Sponsored by:
Automated Reasoning, Deduction, Theorem Proving and Model-Checking:
CologNet, the Network of Excellence in Computational Logic.
Sponsored by:
