1) IM-extendable
导出匹配可扩的
1.
A graph G is called an k-edge deletable IM-extendable graphs,if G is a simple graph which has(2 n) top points,for every FE(G)with ｜F｜=k,G-F is IM-extendable.
若图G是有2n个顶点的简单图,如果对于E(G)的任一满足|F|=k的子集F,G-F均为导出匹配可扩的,则称图G是k边可删的导出匹配可扩图。
2) export
导出
1.
How to read the text documents exported from direct network report by EXCEL;
直报网络导出的文本文档如何用EXCEL读取
2.
Remote database import and export concerned in WEB application;
WEB应用中的远程数据库导入与导出机制
3.
Using VB To Achieve The Access Database Export to Excel Document;
利用VB实现将Access数据库导出到Excel文件中
3) derivation
导出
1.
his paper discusses the method of derivational analogy in the field of design and illustrates the studying and implementation of DBDA (Design By Derivational Analogy) system.
讨论了设计领域中的导出类比方法，阐述了类比设计系统ＤＢＤＡ（ＤｅｓｉｇｎＢｙＤｅｒｉｖａｔｉｏｎａｌＡｎａｌｏｇｙ）的研究与实现。
4) Gas phase let-off
气相导出
5) export/import
导出/导入
6) guided exit well
导出井
参考词条
补充资料：导出法则
导出法则
derived rule
导出法则l山幼，目n此;npo”翔口“oe np姗月。]，给定演算中的推演法则的 如果一个推演法则的结论可以由它的取自所考虑的演算中的诸前提推出，则称此推演法则为导出法则.例如在命题演算(pmpeslt10nal calculus)中，由于 AOB，BOC卜A，C成立，所以推演法则 A OB，B OC A OC是命题演算中的一个导出法则.每一个导出法则均是合理法则(so山ld们目e).然而并非所有合理法则皆为一个导出法则.例如在命题演算中代换法则(sul比titu-tion rule)是合理的，但它不是一个导出法则.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。