|
|||||
|
|
Computing queries with higher-order logics |
|
| Authors: | Lauri Hella José María Turull-Torres |
| Affiliation: | 1. Department of Mathematics, Statistics and Philosophy, University of Tampere, Kanslerinrinne 1, 33014 Tampere, Finland;2. Information Science Research Centre, Department of Information Systems, Massey University, P.O. Box 756, Wellington, New Zealand |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |