Презентації та автори


Прізвище А Б В Г Ґ Д Е Є Ж З И І Ї К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ь Ю Я Всі
Секція:
 

ТЕХНОЛОГІЇ ОБРОБКИ ДАНИХ ТА РОЗРОБКИ ПРОГРАМНИХ СИСТЕМ

Evidence Algorithm and proof search in automated reasoning systems PDF
Alexander Lyaletski, Alexander Lyaletski, Iochim Drugus


Creative Commons License
Ця робота ліцензована Creative Commons Attribution 3.0 License.