Ignatovich, Denis
- The Imandra Automated Reasoning System (system description)
2020/04/21 by Passmore, Grant Olney, Cruanes, Simon, Ignatovich, Denis +6 · 1 citation
#Artificial Intelligence (cs.AI) #F.3.1 #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.5 #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Symbolic Computation (cs.SC)