Program tactics and logic tactics
Fausto Giunchiglia; Paolo Traverso
- 期刊名称Annals of Mathematics and Artificial Intelligence
- 作者Fausto Giunchiglia; Paolo Traverso
- 卷第17卷
- 期第2期
- 印刷ISSN1012-2443
- 电子ISSN1573-7470
- 文件大小1444.34KB
- 发表时间1996
- DOI10.1007/bf02127970
- 页码235-259