-
-83%
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science)
0Original price was: $48.00.$8.00Current price is: $8.00.Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science), Ricardo Caferra, 9783540671909
