Title of article :
A functional approach for temporal × modal logics
Author/Authors :
Alfredo Burrieza and Inma P. de Guzm?n ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Pages :
26
From page :
71
To page :
96
Journal title :
acta Informatica
Serial Year :
2003
Journal title :
acta Informatica
Record number :
287755
Link To Document :
بازگشت