The method has been implemented into the ILP system SPADA. The characteristic of the method is illustrated by means of examples taken from some applications of SPADA to...
这种方法已在一个ILP系统SPADA中实现,该文将通过SPADA应用空间数据的一些实例来说明ILP方法的特点。
For a moment dantes was speechless; then he remembered that these caves might have been filled up by some accident, or even stopped up, for the sake of greater security, by Cardinal Spada.
唐太斯顿时惊得连话都说不出来了。但他转念一想,这些洞窟大概是由于某种意外的事故而被填没了,或许是红衣主教斯帕达为了更加小心而故意填没了的。
For a moment dantes was speechless; then he remembered that these caves might have been filled up by some accident, or even stopped up, for the sake of greater security, by Cardinal Spada.
唐太斯顿时惊得连话都说不出来了。但他转念一想,这些洞窟大概是由于某种意外的事故而被填没了,或许是红衣主教斯帕达为了更加小心而故意填没了的。
应用推荐