-
發表於:2018-05-06
pistondisplacementproverbi-directionalpipeproverskid-mountedmeterprovermastermeterproverFlowmeasurementcalibrationfacility-Pipeproverbi-directionalfolded-typeproversystem...
-
發表於:2018-03-24
Thisisanautomatedtheoremproverforfirst-orderandequationallogic,usedtosupportinferenceinlanguageprocessing.Withoutautomatedtheoremprover,programmershavetogenerateallproofs...
-
發表於:2018-04-18
bi-directionalpipeproverDynamicmeasurementofcrudeoil--Operatingstipulationsofverificatingpositivedisplacementmetersbypipeprover...