Languages
Sofronie-Stokkermans, Viorica.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
Subjects