请输入您要查询的英文缩略语:

 

单词 LNCS1479
释义 -J. Grundy/M. Newey (Eds.): Theorem Proving in Higher Order Logics. Proceedings, Springer-Verlag 1998
随便看

 

英汉缩略语词收录了42586条英文缩写词条,提供最新英文缩写(缩略词)查询及其意思解释,包括月份的英文缩写,有限公司英文缩写等英文缩略词。

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2024/11/11 11:09:01