Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

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.; Tinelli, Cesare.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I / by: Sofronie-Stokkermans, Viorica.; SpringerLink (Online service); Peltier, Nicolas. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / by: Peltier, Nicolas.; Sofronie-Stokkermans, Viorica.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Automated deduction = CADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / by: Sofronie-Stokkermans, Viorica.; SpringerLink (Online service); Bjorner, Nikolaj.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
 
 
Change password
Login