Reading Length
Home
Speed Tests
Login
Roberto Sebastiani
Identifiers
Open Library
OL7328072A
Books by Roberto Sebastiani
Total count: 1
Automated Reasoning
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ...
Springer
2018-07-01
