Nikolaj Bjørner, V. S. Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroc.aw, Poland, July 31 -- August 5, 2011, Proceedings. Springer.
Copiat
No s'ha pogut copiar
Cita Chicago (17th ed.)
Nikolaj Bjørner, Viorica Sofronie-Stokkermans. Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroc.aw, Poland, July 31 -- August 5, 2011, Proceedings. Berlín, Alemania: Springer.
Copiat
No s'ha pogut copiar
Cita MLA (9th ed.)
Nikolaj Bjørner, Viorica Sofronie-Stokkermans. Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroc.aw, Poland, July 31 -- August 5, 2011, Proceedings. Springer.
Copiat
No s'ha pogut copiar
Atenció: Aquestes cites poden no estar 100% correctes.