V. I. Sharonov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Application of isograms in the search for inference Journal of Soviet Mathematics	1988-01-01	Paper
Strategy of defactorization in the resolution method Journal of Soviet Mathematics	1988-01-01	Paper
A strategy for ordering disjunctives in the resolution method Journal of Soviet Mathematics	1988-01-01	Paper
Application of the strategy of ordering disjunctives for a modification of the method of resolutions Journal of Soviet Mathematics	1988-01-01	Paper
Decision tactics for derivation search in the resolution method Journal of Soviet Mathematics	1987-01-01	Paper
scientific article; zbMATH DE number 3532551 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3532552 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3548478 (Why is no real title available?)	1973-01-01	Paper
scientific article; zbMATH DE number 3366543 (Why is no real title available?)	1971-01-01	Paper
scientific article; zbMATH DE number 3353236 (Why is no real title available?)	1970-01-01	Paper
scientific article; zbMATH DE number 3444820 (Why is no real title available?)	1969-01-01	Paper
scientific article; zbMATH DE number 3328174 (Why is no real title available?)	1969-01-01	Paper
scientific article; zbMATH DE number 3361849 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3361850 (Why is no real title available?)	1968-01-01	Paper

Research outcomes over time

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