Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science, nr. 9323 Editat de Hans De Nivelle 12 noi 2015 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
