Alexander Lyaletski

From MaRDI portal
Revision as of 07:59, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:865651

Available identifiers

zbMath Open lyaletski.alexander-vMaRDI QIDQ865651

List of research outcomes





PublicationDate of PublicationType
Glushkov's evidence algorithm2014-10-27Paper
Evidence Algorithm and System for Automated Deduction: A Retrospective View2010-08-24Paper
System for Automated Deduction (SAD): A Tool for Proof Verification2009-03-06Paper
On Correctness of Mathematical Texts from a Logical and Practical Point of View2009-01-27Paper
SAD as a mathematical assistant -- how should we go from here to there?2007-02-20Paper
Mathematical Knowledge Management2005-08-26Paper
https://portal.mardi4nfdi.de/entity/Q44715362004-07-28Paper
https://portal.mardi4nfdi.de/entity/Q27515452001-10-21Paper
https://portal.mardi4nfdi.de/entity/Q49384162000-06-22Paper

Research outcomes over time

This page was built for person: Alexander Lyaletski

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