A. A. Voronkov

From MaRDI portal
Person:2943210

Available identifiers

zbMath Open voronkov.a-aMaRDI QIDQ2943210

List of research outcomes





PublicationDate of PublicationType
Liss — The logic inference search system2023-04-28Paper
Influence of the homogeneous microstructure of the material on its deformation and flow2015-09-11Paper
Mathematical model of blood pulse motion in vessels2015-09-11Paper
https://portal.mardi4nfdi.de/entity/Q47006341999-11-04Paper
https://portal.mardi4nfdi.de/entity/Q40386761993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q34963091990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57525701990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47324691988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38205991988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37895601987-01-01Paper
Automatic theorem proving. II1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38199641987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37828361986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37911491986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37828371986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47207981985-01-01Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2943210&oldid=7813661"
Powered by MediaWiki