Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by Bernhard Gramlich, Lael Combe Furgeson, Ulrike Sattler Paperback 2012
- Author: Bernhard Gramlich, Lael Combe Furgeson, Ulrike Sattler
- ISBN 13: 9783642313646
- ISBN 10: 3642313647
- Publication Year: 2012
- Language: English
Specifications
Index-103642313647
LanguageEnglish
Index-139783642313646
Period-
Class Track-
Publisher- (2012)
Pages-