Computational Logic CL 2000 00
Computational Logic CL 2000 00 Login for the JSON version of this page.
- Title
- Computational Logic CL 2000 00
- ISBN-10
- 3-540-44957-4
- ISBN-13
- 978-3-540-44957-7
- Author(s)
- Yehoshua Sagiv, Peter J. Stuckey, John Lloyd Undifferentiated, Manfred Kerber, Kung Kiu Lau, Lus Moniz Pereira, Veronica Dahl, Catuscia Palamidessi, Ulrich Furbach
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2000
- Format
- [electronic resource] :
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 355
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9783540449577
- ASIN
- 3540449574
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 44957
- Check Digit
- 7
- Formatted
- 978-3-540-44957-7