Welcome to the world of Actor Prolog!

This is author's summary of my Ph.D. thesis:

Morozov A.A. Logical analysis of functional diagrams in the interactive designing of informational systems: Ph.D. thesis. - Moscow, 1998. - 199 p.
(Author's summary: http://www.cplire.ru/Lab144/auto.html, full text: http://www.cplire.ru/Lab144/thesis.pdf)

The Site supports the following Russian codings: Alt (OS/2, MS DOS), KOI8 (UNIX), and 1251 (Windows).

The main page of the Site is here.

Back to Research Divisions
IRE RAS Homepage