Вы здесь

Dikovsky A. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Abstract Complexity of Prolog Based on WAM 1993 Dikovsky A. J. Lecture Notes in Computer Science 22.09.1993
П 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
П 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
СТ 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