|
|||||
|
|
Preface |
|
| Authors: | Kostas Stathis Artur d'Avila Garcez Robert Givan |
| Affiliation: | aDepartment of Computer Science, Royal Holloway, University of London, Egham, Surrey TW20 0EX, UK;bDepartment of Computing, School of Informatics, City University, London EC1V OHB, UK;c1285 EE Building, Department of Electrical & Computer Engineering, Purdue University, West Lafayette, IN 47907, United States |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |