PEREIRA L M について
U. Nova de Lisboa, Monte da Caparica, PRT について
DAM<span style=text-decoration:overline>A ́</span>SIO C V について
U. Nova de Lisboa, Monte da Caparica, PRT について
ALFERES J J について
U. Nova de Lisboa, Monte da Caparica, PRT について
Lecture Notes in Computer Science について
論理プログラミング について
計算機システム開発 について
診断 について
仮定 について
デバッギング について