Screen LibraryAutomated model building
Saved in:
| Main Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
Kluwer Academic,
|
| Publisher Address: | Dordrecht |
| Publication Dates: | c2004. |
| Literature type: | Book |
| Language: | English |
| Series: |
Applied logic series ; v. 31 |
| Subjects: | |
| Carrier Form: | xi, 341 p.: ill. ; 25 cm. |
| ISBN: |
1402026528 1402026536 (e-book) |
| Index Number: | O141 |
| CLC: | O141.2 |
| Call Number: | O141.2/C129 |
| Contents: | Includes bibliographical references. |