Automated deduction in classicial and n0n-classicial logics /
Automated deduction in classicial and n0n-classicial logics /
- Berlin: Springer, 2000.
- 297p;23cm
- Lecture notes in artificial intelligence 1761 .
Includes bibliographical references.
3540671900
006.3 LEC
Includes bibliographical references.
3540671900
006.3 LEC