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