Nail Zamov

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
scientific article; zbMATH DE number 4139317 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4150119 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4128785 (Why is no real title available?)	1989-01-01	Paper
Maslov's inverse method and decidable classes Annals of Pure and Applied Logic	1989-01-01	Paper
Application of isograms in the search for inference Journal of Soviet Mathematics	1988-01-01	Paper
Restriction of term complexity in derivations and decidable fragments of predicate calculus Journal of Soviet Mathematics	1988-01-01	Paper
One modification of the ordering strategy in the resolution method 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 4037813 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4047178 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3556013 (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
On a bound for the complexity of terms in the resolution method Proceedings of the Steklov Institute of Mathematics	1972-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: Nail Zamov