Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings Login for the JSON version of this page.
- Title
- Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
- ISBN-10
- 3-642-31611-5
- ISBN-13
- 978-3-642-31611-1
- 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
- 372
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9783642316111
- ASIN
- 3642316115
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 642
- Publication
- 31611
- Check Digit
- 1
- Formatted
- 978-3-642-31611-1