TRansitionPoinTAxiom Schema
... 转换点公理模式 TRansitionPoinTAxiom Schema 水陆联运转换点 overland common point 由一个转换点 Switch Point ...
基于4个网页-相关网页
...＿1P（￡）在时段t为真，则存在t的某一子 时段t7，使得一P（t7）为真． ④转换点公理模式（TRansition PoinTAxiom Schema，TRPT）： V￡，￡7．P（f）＾-1P（￡7）At＜：tt—，jT，丁7．P（T）＾ 一P（T’）AT：T...
基于2个网页-相关网页