Edición de la obra Frontiers of combining systems 2
| Autor | Dov M. Gabbay, Maarten de Rijke |
|---|---|
| Editorial | Research Studies Press |
| Fecha de publicación | October 1999 |
| Idioma | inglés |
| Páginas | 407 |
| Formato | Hardcover |
| ISBN-13 | 9780863802522 |
| ISBN-10 | 0863802524 |
| OCLC | 42649707 |
| LCCN | 99051824 |
| Número de Cutter |
|---|
G112f |
"Frontiers of Combining Systems 2 includes selected, edited contributions from the Second International Workshop on Frontiers of Combining Systems. This volume addresses both particular instances of the combination and integration problem and the general issue. While covering a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting, there is a clear emphasis on automated tools and logics."--BOOK JACKET.