Bounded Hyperset Theory and Web-like Data Bases

Авторы: Lisitsa A. P., Sazonov V. Yu.
Год: 1997
Тип публикации: В Трудах Конференции
Название книги: Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25--29, 1997, Proceedings. Lecture Notes in Computer Science
Редактор: Gottlob, G.;Leitsch, A.;Mundici, D.
Том: 1289
Страницы: 172-185
Издательство: Springer
BibTex: