Title of article :
Bases for closed sets of implicants and implicates in temporal logic
Author/Authors :
P. Cordero، نويسنده , , M. Enciso and I.P. de Guzm?n ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Pages :
21
From page :
599
To page :
619
Journal title :
acta Informatica
Serial Year :
2002
Journal title :
acta Informatica
Record number :
287742
Link To Document :
بازگشت