Results 141 to 142 of about 4,673 (142)
Some of the next articles are maybe not open access.
ÐногопоÑоÑнÑй обÑаÑнÑй меÑод ÐаÑлова
This article introduces a novel multiprocessing methodology tailored for the Inverse Method, a critical component of Automated Theorem Provers (ATPs), aimed at optimizing theorem proving efficiency. Our approach utilizes multiple running units, each operating as a distinct prover equipped with specific heuristic options, collaborating to explore ...openaire +1 more source
ÐÑавовой обÑÑай. ÐÑÑоÑÐ¸Ñ Ð¸ ÑовÑеменноÑÑÑ
Рданной ÑабоÑе изложено опÑеделение пÑавового обÑÑаÑ, как иÑÑоÑника пÑава, вÑÐ´ÐµÐ»ÐµÐ½Ñ Ð²Ð¸Ð´Ñ Ð¿ÑавовÑÑ Ð¾Ð±ÑÑаев и пÑизнаки, Ñ Ð°ÑакÑеÑизÑÑÑие Ð¸Ñ .openaire +1 more source