Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings Login for the JSON version of this page.
- Title
- Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
- ISBN-10
- 3-642-31364-7
- ISBN-13
- 978-3-642-31364-6
- Author(s)
- Publisher
- Springer
- Published
- 2012
- Format
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 688
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9783642313646
- ASIN
- 3642313647
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 642
- Publication
- 31364
- Check Digit
- 6
- Formatted
- 978-3-642-31364-6