SOS rules; Reaction systems; Assertions; Logic programming;
机译:计算Lotka-Volterra系统的周期时,n点高斯–切比雪夫规则和4n点中点规则的等价性
机译:计算Lotka-Volterra系统的周期时,$ n $点高斯–切比雪夫规则和$ 4n $点中点规则的等价性
机译:钌-苯酚系统中的光诱导PCET:单向和双向反应的热力学当量
机译:从概率SOS规则公理化双仿真等价物和度量
机译:飞秒时间分辨阴离子系统的光谱:介观溶剂化和气相有机反应的动力学。
机译:没有电子留下:基于规则的专家系统预测的化学反应和反应机理
机译:SOS规则,用于反应系统的等效性
机译:带升力的跨音速等效规律的实验研究。第2部分(Etude Experimentale de l'application a la portance de la Regle d'Equivalence Transsonique partie II)