|
|||||
|
|
Introduction to clarithmetic III |
|
| Authors: | Giorgi Japaridze |
| Institution: | 1. School of Computer Science and Technology, Shandong University, Middle Shunhua Road, Jinan, Shandong 25101, PR China;2. Department of Computing Sciences, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA |
| Abstract: | |
| Keywords: | 03F50 03F30 03D75 68T30 |
| 本文献已被 ScienceDirect 等数据库收录！ | |