Title: Keisanki kagaku ni okeru ronri daisū gengo
Subjects: Congresses, Computer science