Boman, M. Stockholm university.Department of computer and systems sciences. A logical specification of federated information systems [Text] : diss. / M. Boman ; Stockholm university.Department of computer and systems sciences. - Stockholm : [s. n.], 1993. - XIII,187 p. : ill. - (Report series / Stockholm univ., ISSN 11018526;N93-019-DSV). - ISBN 91-7153-103-3 : Б. ц.
Свободных экз. нет |
Bostrom, H. Stockholm university.Department of computer and systems sciences. Explanation-based transformation of logic programs [Text] : diss / H. Bostrom ; Stockholm university.Department of computer and systems sciences. - Stockholm : [s. n.], 1993. - 178 p. : ill. - (Report series / Stockholm univ., ISSN 11018526;N93-029). - ISBN 91-7153-167-X : Б. ц. ; Библиогр.в конце книги
Свободных экз. нет |
Britts, S. Stockholm university.Department of computer and systems sciences. Object database design [Text] : diss. / S. Britts ; Stockholm university.Department of computer and systems sciences. - Stockholm : [s. n.], 1994. - Pag.var. : ill. - (Report series / Stockholm univ., ISSN 11018526;N94-011). - ISBN 91-7153-221-8 : Б. ц. ; Библиогр.:с.209-223
Свободных экз. нет |
Asker, L. Stockholm university.Department of computer and systems sciences. Partial explanations as a basis for learning [Text] : diss. / L. Asker ; Stockholm university.Department of computer and systems sciences. - Stockholm : [s. n.], 1994. - 151 p. : ill. - (Report series / Stockholm univ., ISSN 11018526;N94-007). - ISBN 91-7153-223-4 : Б. ц. ; Библиогр.:с.121-138.Указ.:с.151
Свободных экз. нет |
Kilander, F. Stockholm university.Department of computer and systems sciences. Incremental conceptual clustering in an on-line application [Text] : diss. / F. Kilander ; Stockholm university.Department of computer and systems sciences. - Stockholm : [s. n.], 1994. - 140 p. : ill. - (Report series / Stockholm univ., ISSN 11018526;N94-014). - ISBN 91-7153-224-2 : Б. ц. ; Библиогр.:с.136-140
Свободных экз. нет |