A. A. Voronkov

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
Liss — The logic inference search system	2023-04-28	Paper
Influence of the homogeneous microstructure of the material on its deformation and flow	2015-09-11	Paper
Mathematical model of blood pulse motion in vessels	2015-09-11	Paper
scientific article; zbMATH DE number 1357427 (Why is no real title available?)	1999-11-04	Paper
scientific article; zbMATH DE number 177798 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 4170865 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4187806 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4118367 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4093448 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4053611 (Why is no real title available?)	1987-01-01	Paper
Automatic theorem proving. II Cybernetics	1987-01-01	Paper
scientific article; zbMATH DE number 4092732 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4045220 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4055607 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4045221 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3992945 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: A. A. Voronkov