I. N. Anisimova

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
A formal grammatical model of the resolution method for the propositional calculus Vestnik St. Petersburg University. Mathematics	2004-02-26	Paper

Research outcomes over time

This page was built for person: I. N. Anisimova