Todikov Sergei Igorevich

Presentations in Math-Net.Ru

1. Algorithm for Minimizing Multioperations in the Class of Key Standard Forms
   S. I. Todikov
   International workshop "Syntax and semantics of logical systems"
   August 15, 2019 16:30