Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings
by Didier Galmiche, Stephan Schulz, Roberto Sebastiani Paperback 2018
- Author: Didier Galmiche, Stephan Schulz, Roberto Sebastiani
- ISBN 13: 9783319942049
- ISBN 10: 3319942042
- Publication Year: 2018
- Language: English
Specifications
Index-103319942042
LanguageEnglish
Index-139783319942049
Period-
Class Track-
Publisher- (2018)
Pages-