V. N. Zakharov ,   V. N. Vagin ,   Y. L. Rozenblyum Soviet Journal of Computer and Systems Sciences , vol.26 №3 , 01.1988 , language: английский  Аннотация The questions about Logical Inference on Interpreted Petri Nets are discussed.  Ключевые слова Logical Inference, Interpreted Petri Nets, Predicate Logic

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад