Title of article
Converting untyped formulas to typed ones
Author/Authors
Jan Van den Bussche and Luca Cabibbo ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
7
From page
637
To page
643
Journal title
acta Informatica
Serial Year
1998
Journal title
acta Informatica
Record number
287641
Link To Document