N. K. Zamov

Available identifiers

zbMath Open zamov.nail-kalimatovitchMaRDI QIDQ583186

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3471708	1990-01-01	Paper
Maslov's inverse method and decidable classes	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3480013	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207883	1989-01-01	Paper
Application of isograms in the search for inference	1988-01-01	Paper
Restriction of term complexity in derivations and decidable fragments of predicate calculus	1988-01-01	Paper
One modification of the ordering strategy in the resolution method	1988-01-01	Paper
Decision tactics for derivation search in the resolution method	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3777987	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783621	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128522	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122846	1973-01-01	Paper
On a bound for the complexity of terms in the resolution method	1972-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: N. K. Zamov