Andrei Ershov 4th International Conference on Perspectives of System Informatics
Dines Bjørner, Manfred Broy, A. V. Zamulin · Defense Technical Information Center (DTIC) · 2001
The volume comprises the papers presented at Andrei Ershov Fourth International Conference "Perspectives of System Informatics" held in Akademgorodok (Novosibirsk, Russia), July 2-6, 2001. Various problems of theoretical computer science, programming methodology and artificial intelligence are considered in the papers. The book is addressed to specialists in theoretical and systems programming and new information technologies.