请输入您要查询的英文缩略语:
单词
LNCS859
释义
-T. F. Melham/J. Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications. Proceedings 1994, Springer-Verlag 1994
随便看
BJZ
BK
BKA
B-Kanal
BKC
BKE
BKF
BKI
BKK
BKL
BKM
BKN
BKO
BKQ
BKS
BKSigE
BKSP
BKU
BKW
BKX
BKY
BKZ
B/L
BL
BLA
英汉缩略语词收录了42586条英文缩写词条,提供最新英文缩写(缩略词)查询及其意思解释,包括月份的英文缩写,有限公司英文缩写等英文缩略词。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2026/7/20 4:12:55