Вы здесь

Dekhtyar M. I.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Temporal Probabilistic Logic Programs 1999 Dekhtyar A., Dekhtyar M. I., Subrahmanian V. S. Logic Programming 07.03.2001
СТ 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
СТ On Homeostatic Behavior of Dynamic Deductive Data Base 1996 Dekhtyar M. I., Dikovsky A. Ja. Lecture Notes in Computer Science 15.02.1997
П 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
СТ Dynamic Deductive Data Bases with Steady Behaviour 1995 Dekhtyar M. I., Dikovsky A. Ja. Logic Programming: Proc. of the Twelfth Intern. Conf. 06.05.1996
СТ Concurrency Problem for Norn Fragment of Girard s Linear Logic 1994 Archangelsky D. A., Dekhtyar M. I., Kruglov E., Musikaev I. Kh., Taitslin M. A. Lecture Notes in Computer Science 27.07.1994