Title of article

Deciding by resolution

Author/Authors

Jean Goubault-Larrecq، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2005

Pages

8

From page

401

To page

408

Keywords

Automatic theorem proving , formal languages

Journal title

Information Processing Letters

Serial Year

2005

Journal title

Information Processing Letters

Record number

130112