迪士尼 狮子王 5-12岁
- 作者美国迪士尼公司著；美国迪士尼公司编；美国迪士尼公司绘
- 出版社成都：四川美术出版社
- 标注页数46 页
- 文件页数50 页
- 文件大小21.47 MB
- 出版时间2018
- ISBN9787541076879
SAT-Based Decision Procedures for Classical Modal LogicsEnrico Giunchiglia; Armando Tacchella; Fausto Giunchiglia · 2002
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluationGiunchiglia, Enrico; Sebastiani, Roberto; Giunchiglia, Fausto; Tacchella, Armando · Journal of Applied Non-Classical Logics · 2000
A theory of abstractionFausto Giunchiglia; Toby Walsh · 1992
Contextualizing ontologiesPaolo Bouquet; Fausto Giunchiglia; Frank van Harmelen; Luciano Serafini; Heiner Stuckenschmidt · 2004
The inevitability of inconsistent abstract spacesFausto Giunchiglia; Toby Walsh · 1993
Program tactics and logic tacticsFausto Giunchiglia; Paolo Traverso · Annals of Mathematics and Artificial Intelligence · 1996
Semantic floodingFausto Giunchiglia; Uladzimir Kharkevich; Alethia Hume · 2011
Using Abstrips Abstractions -- Where do We Stand?Fausto Giunchiglia · 1999