Title of article
Decidability and Complexity Analysis by Basic Paramodulation,
Author/Authors
Robert Nieuwenhuis، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
21
From page
1
To page
21
Journal title
Information and Computation
Serial Year
1998
Journal title
Information and Computation
Record number
261801
Link To Document