I. L. Bratchikov

From MaRDI portal
Person:1422808

Available identifiers

zbMath Open bratchikov.igor-lMaRDI QIDQ1422808

List of research outcomes





PublicationDate of PublicationType
A formal grammatical model of the resolution method for the propositional calculus2004-02-26Paper
https://portal.mardi4nfdi.de/entity/Q43360121998-12-08Paper
https://portal.mardi4nfdi.de/entity/Q43411971996-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47113411992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q33232501984-01-01Paper
The formalization of some context conditions of programming languages1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40500911974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41027091974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40549351973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53346361963-01-01Paper

Research outcomes over time

This page was built for person: I. L. Bratchikov

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