Title of article
Basic Paramodulation
Author/Authors
Bachmair L.، نويسنده , , Ganzinger H.، نويسنده , , Lynch C.، نويسنده , , Snyder W.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
21
From page
172
To page
192
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261576
Link To Document