/LC.GIF&client=easterncarolinaedu)
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / E. Börger [and others], eds.
| Author/creator | Workshop on Computer Science Logic |
| Other author | Börger, E. (Egon), 1946- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1993. |
| Description | viii, 439 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 702 Lecture notes in computer science 702. ^A466336 |
| Bibliography note | Includes bibliographical references. |
| LCCN | 93244664 |
| ISBN | 3540569928 (Berlin : acid-free paper) |
| ISBN | 0387569928 (New York : acid-free paper) |