vix.ing · top · new · best · stats · spec

Steen, Alexander

  1. Automated Reasoning in Non-classical Logics in the TPTP World
    2022/02/20 by Steen, Alexander, Fuenmayor, David, Gleißner, Tobias +2 · 3 citations
    #03B45 #03B60 (Secondary) #68T30 (Primary) 68T27 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences