Title of article

19th International Conference on Automated Deduction (CADE-19)

Author/Authors

Franz Baader، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2005

Pages

2

From page

1

To page

2

Journal title

Information and Computation

Serial Year

2005

Journal title

Information and Computation

Record number

262284