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 |
|---|---|---|
| Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate Automation and Remote Control | 1995-02-20 | Paper |
Research outcomes over time
This page was built for person: S. I. Tishchenko
