Lyaletski, Alexander
- Evidence Algorithm and System for Automated Deduction: A Retrospective View
2010/05/24 by Alexander Lyaletski, Lyaletski, Alexander, Konstantin Verchinine +1 · 1 citation
Computer Science · #01-02 (Primary) 68T15 #03B35 (Secondary) #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #acm:01-02 #acm:03B35 #acm:68T15 #cs.AI #cs.LO #msc:01-02 #msc:03B35 #msc:68T15