Title of article :
Practically Useful Variants of Definitional Translations to Normal Form
Author/Authors :
Uwe Egly، نويسنده , , Thomas Rath، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Journal title :
Information and Computation
Journal title :
Information and Computation
