Khoa Quốc tế Pháp ngữ

http://www.ifi.vnu.edu.vn


Hội thảo «La vérification de propriétés de graphes exprimées en logique du second-ordre monadique »