|
|||||
|
|
Counting Objects |
|
| Authors: | HOEK WIEBE VAN DER; RIJKE MAARTEN DE |
| Affiliation: | 1Department of Computer Science, Utrecht University P.O. Box 80.089, 3509 TB Utrecht, the Netherlands. 2CWI P.O. Box 4079, 1009 AB Amsterdam, the Netherlands |
| Abstract: | |
| Keywords: | Modal logic knowledge representation generalized quantifier theory axiomatic completeness complexity |
| 本文献已被 Oxford 等数据库收录！ | |