Resolution Proof Systems Automated Reasoning Series, nr. 4 Autor Z. Stachniak oct 2011 Paperback Preț: 636.63 lei 795.79 lei 6-8 săpt. -20%
Piton Automated Reasoning Series, nr. 3 Autor J Strother Moore 3 oct 2013 Paperback Preț: 324.05 lei 405.07 lei 6-8 săpt. -20%