Search academic texts

Afonin Andriu Oleksandrovich. Complete methods of inference search in logic programming systems : к.ф.-м.н. : spec.. 01.05.01 - Теоретичні основи інформатики та кібернетики : presented. 2011-06-23; popup.evolution: .; National University of "Kyiv-Mohyla Academy". – , 0411U005358.