COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints, eds.
| Author/creator | International Conference on Computer Logic (1988 : Tallinn, Estonia) |
| Other author/creator | Martin-Löf, Per, 1942- |
| Other author/creator | Mint︠s︡, G. E. |
| Format | Book and Print |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1990. |
| Description | vi, 338 pages ; 25 cm. |
| Subject(s) |
Click here for more information about this title
| Series | Lecture notes in computer science ; 417 Lecture notes in computer science 417. ^A466336 |
| Bibliography note | Includes bibliographical references. |
| LCCN | 90009465 |
| ISBN | 3540523359 (Berlin) |
| ISBN | 0387523359 (New York) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA76.9.M35 I57 1988 | ✔ Available | Place Hold |