Logic and the complexity of reasoning |
| |
Authors: | Hector J. Levesque |
| |
Affiliation: | (1) Department of Computer Science, University of Toronto, M5S 1A4 Toronto, Canada;(2) Canadian Institute for Advanced Research, University of Toronto, M5S 1A4 Toronto, Canada |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|