Вы здесь

Dikovsky A. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs 1999 Dekhtyar M. I., Dikovsky A. J., Valiev M. K. Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. 02.07.1999
П Properties of Steady Behavior of Dynamic Deductive Data Bases. Part I. -stability and Promise 1995 Dekhtyar M. I., Dikovsky A. J. Univ. Paris XII-Val de Marne 10.07.1996
П Properties of Steady Behavior of Dynamic Deductive Data Bases. Part II - Homeostaticity 1996 Dekhtyar M. I., Dikovsky A. J. Univ. Paris XII-Val de Marne 10.07.1996
СТ Abstract Complexity of Prolog Based on WAM 1993 Dikovsky A. J. Lecture Notes in Computer Science 22.09.1993