Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
(9783642385735) | Automated Deduction
Preis von (4 Angebote)52.84 EUR
Weitere Informationen
(9783642385735) | Automated Deduction
(9783319892498) | Space in Weak Propositional
(9781291684018)
(9783639614800)
(9783330762565) | Condições favoráveis