重读北洋海军
- 作者马骏杰著
- 出版社济南：山东画报出版社
- 标注页数455 页
- 文件页数467 页
- 文件大小66.89 MB
- 出版时间2017
- ISBN9787547424483
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