Zawidzki, Michał
- Tableaux for Free Logics with Descriptions
2021/07/15 by Indrzejczak, Andrzej, Zawidzki, Michał · 1 citation
#03A05 (Secondary) #03B22 #03B35 (Primary) 03B10 #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO)