Title of article
WoLLIC’2002
Author/Authors
Queiroz، نويسنده , , Ruy de and Poizat، نويسنده , , Bruno and Artemov، نويسنده , , Sergei، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
4
From page
1
To page
4
Journal title
Annals of Pure and Applied Logic
Serial Year
2005
Journal title
Annals of Pure and Applied Logic
Record number
1444156
Link To Document