Automated Deduction in Classical and Non-Classical Logics: Selected Papers: 1761 (Lecture Notes in Computer Science, 1761)
Trustpilot
Reema J.
Hace 1 mes
1. Suresh K.
Hace 4 días
30 diaspara usuarios de membresía PRO
15 diassin membresía
Fátima A.
Hace 3 días
Meera L.
Hace 3 semanas