77,95€(IVA inc.)
Automated deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
- Schmidt, Renate A.
- 978-3-642-02958-5
- 2009-07-10
60,32€(IVA inc.)
Automated Reasoning with Analytic Tableaux and Related Methods
- Schmidt, Renate A.
- 978-3-319-66901-4
- 2017-11-12
155,95€(IVA inc.)
Genetics and genomics of the brassicaceae
- Schmidt, Renate
- 978-1-4419-7117-3
- 2010-10-29
283,03€(IVA inc.)
Genetics and Genomics of the Brassicaceae
- Schmidt, Renate
- 9781461427780
- 2011-01-01