Title of article
Induction=I-Axiomatization+First-Order Consistency
Author/Authors
Hubert Comon، نويسنده , , Robert Nieuwenhuis، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
36
From page
151
To page
186
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261901
Link To Document