ผู้เขียน: Gernot Salzer

Ricardo Caferra & Gernot Salzer: Automated Deduction in Classical and Non-Classical Logics