Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Viorica Sofronie-Stokkermans | lit.salon

Author

Viorica Sofronie-Stokkermans

3 works

2011–2020 across 3 dated works

No biography is available yet.

Start with

Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings2011
With Nikolaj Bjørner
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings2011
With Cesare Tinelli
Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II2020
With Nicolas Peltier

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II2020
With Nicolas Peltier
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings2011
With Nikolaj Bjørner
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings2011
With Cesare Tinelli
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Viorica Sofronie-Stokkermans.

The conversation is still open.

There is no public salon activity to show for Viorica Sofronie-Stokkermans yet.