青云翻译

lafferiere等人。 [42]描述了一个象征性的可达性计算线性向量场的量词消除为中心的方法。这些强大的技术，许多人仍然得到充分的情况下，系统生物学建议综合。

Lafferiere et al.[42] 所述的线性向量 ?elds 符号可达计算以 quanti?er 为消除中心方法。许多这些强大的技术仍然完全集成到系统生物学建议的上下文。

Lafferiere等。 (42)描述了一个quanti?唔排除中心方法为线性传染媒介?elds的符号reachability计算。 许多这些强有力的技术留待去充分地集成系统生物学提出的上下文。

lafferiere et al. [42]所述A quanti?er-消除为中心的计算方法为象征性可以验证是否能够到达线性矢量来函。 许多这种强有力的技术保持将全面纳入建议的情况下,系统生物学。

Lafferiere et al.[42] 所述的线性向量 ?elds 符号可达计算以 quanti?er 为消除中心方法。许多这些强大的技术仍然完全集成到系统生物学建议的上下文。