Personensuche
X
?
Outstanding Contributions to Logic; Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ,
10
Geometric Rules in Infinitary Logic:
, In:
?
11
Automated Reasoning with Analytic Tableaux and Related Meth..
Lecture Notes in Artificial Intelligence, 12842