Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Roberto Sebastiani | lit.salon

Author

Roberto Sebastiani

3 works

2009–2018 across 3 dated works

No biography is available yet.

Start with

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings2009
With Silvio Ghilardi
Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings2012
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ...2018
With Didier Galmiche, Stephan Schulz

Books

3 works

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

Search booksSort books

Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ...2018
With Didier Galmiche, Stephan Schulz
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings2009
With Silvio Ghilardi
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 Roberto Sebastiani.

The conversation is still open.

There is no public salon activity to show for Roberto Sebastiani yet.