Keisanki kagaku ni okeru ronri daisū gengo
Subtitle: 2014-nen 2-gatsu 17-nichi - 2-gatsu 19-nichi
By: kenkyū daihyōsha Kondō Michirō
Series: Sūri Kaiseki Kenkyūjo kōkyūroku = -- RIMS Kôkyûroku -- 1915
Publisher: Kyōto Daigaku Sūri Kaiseki Kenkyūjo
Published: 2014
Place of publication: Kyoto, Japan
Language: jpn
Number of pages: 165
Subjects: Congresses; Computer science
Other titles: Logics, algebras and languages in computer science :
Notes: Cover title.

Includes bibliographical references.

Japanese and English.