请输入您要查询的字词:
编者注:本词条为中国台湾地区学术名词用语,仅供参考。
单词
形式证明
释义
formal proof
形式证明
电子计算机名词
formal proof
形式证明;形式证法
数学名词
随便看
Java-based interface for OLAP
Java batch processing region
Javabeans
Javabeans应用程式介面
Javabeans应用程式介面
Java Bean管理持久性
Java brucea;Brucea javanica Merr.
Java canvas
Java card
Java card virtual machine
Javacheff Christo
Java chip
Java citronella grass.;Cymbopogon winter-innus Jowitt
Java community process
Java compatibility kit{=JCK}
Java compiler
Java Connector
Java cotton
Java database connectivity connector
Java database connectivity{=JDBC}
Java data base connectivity{=JDBC}
Java data objects
Java Desktop System
Java developer's kit{=JDK}
Java development kit{=JDK}
科学时代收录了3405121条科普词条,基本涵盖了常见科普常识及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciera.cn All Rights Reserved
京ICP备2021023879号
更新时间:2025/3/11 6:43:05