Grant Olney Passmore
- The Imandra Automated Reasoning System (system description)
2020/04/21 by Grant Olney Passmore, Passmore, Grant Olney, Simon Cruanes +15 · 2 citations
Computer Science · #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) #cs.AI #cs.LO #cs.PL #cs.SC