語系
Sofronie-Stokkermans, Viorica.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
by:
SpringerLink (Online service); Sofronie-Stokkermans, Viorica.; Congress on Progress and Controversies in Oncological Urology (2000:); Tinelli, Cesare.
(書目-電子資源)
Automated deduction = CADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Sofronie-Stokkermans, Viorica.; Bjorner, Nikolaj.
(書目-電子資源)
主題