Title of article
A Many-Sorted Natural Deduction
Author/Authors
A. Cimatti، نويسنده , , F. Giunchiglia & R. W. Weyhrauch، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
16
From page
134
To page
149
Keywords
interactive theorem proving • sorts
Journal title
Computational Intelligence
Serial Year
2001
Journal title
Computational Intelligence
Record number
311189
Link To Document