Jastrzab Tomasz について
Institute of Informatics, Silesian University of Technology, Gliwice, Poland について
Lecture Notes in Computer Science について
有限オートマトン について
アルゴリズム について
制約充足問題 について
順序づけ について
反例 について
文法推論 について
人工知能 について
誘導 について
変数 について
順序 について