COLOG-88 : International Conference on Computer Logic, Tallinn, USSR,December 12-16, 1988 : proceedings
P. Martin-Löf, G. Mints (eds.)
Bok Engelsk 1990 International Conference on Computer Logic
| Utgitt | Berlin : Springer , c1990
|
|---|---|
| Omfang | VI, 338 s. : ill.
|
| Emner | |
| ISBN | 0387523359. - 3540523359
|
