Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc
Negotiating Social Contexts
© 2009-2024, Список Литературы