单词 | LNCS918 |
释义 | -P. Baumgartner/R. Hähnle/J. Posegga (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Proceedings 1995, Springer-Verlag 1995 (Subseries LNAI) |
随便看 |
英汉缩略语词收录了42586条英文缩写词条,提供最新英文缩写(缩略词)查询及其意思解释,包括月份的英文缩写,有限公司英文缩写等英文缩略词。