V. I. Sharonov

Available identifiers

zbMath Open sharonov.v-iMaRDI QIDQ1102127

List of research outcomes

Publication	Date of Publication	Type
Application of isograms in the search for inference	1988-01-01	Paper
Strategy of defactorization in the resolution method	1988-01-01	Paper
A strategy for ordering disjunctives in the resolution method	1988-01-01	Paper
Application of the strategy of ordering disjunctives for a modification of the method of resolutions	1988-01-01	Paper
Decision tactics for derivation search in the resolution method	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109322	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109323	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122846	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639372	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5628086	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4770004	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5606603	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5635421	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5635422	1968-01-01	Paper

Research outcomes over time

This page was built for person: V. I. Sharonov