Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1990.
|
| Series: | ESPRIT basic research series ;
EUR (Series) ; 13147 EN. |
| Subjects: |
| Physical Description: | ix, 211 p. : ill. ; 25 cm. |
|---|---|
| Bibliography: | Includes bibliographical references. |
| ISBN: | 0387534377 (Springer-Verlag New York Berlin Heidelberg) 3540534377 (Springer-Verlag Berlin Heidelberg New York) |