Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Didier Galmiche, Stephan Schulz 0001, Roberto Sebastiani, editors, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Volume 10900 of Lecture Notes in Computer Science, Springer, 2018. [doi]

Conference: cade2018

This author has not been identified. Look up 'Didier Galmiche' in GoogleThis author has not been identified. Look up 'Stephan Schulz 0001' in GoogleThis author has not been identified. Look up 'Roberto Sebastiani' in Google

runs on WebDSL