Title: Luo ji xue ji qi ying yong yan jiu
Subjects: Symbolic and mathematical Logic, Congresses, Artificial intelligence, Information technology