	Словари, Словарь Dictionary
	Словари, Словарь Dictionary Online computer dictionary - Свободный компьютерный английский словарь О сайте 10 самых Словари Обратная связь

! & ( * , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = @ %
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ { ~

T T T- T. T1 T3 TA TB TC TD TE TF TG TH TI TJ TK TL TM TN TO TP TR TS TT TU TV TW TX TY TZ

TEMPLOG

TEMPLOG Extension of to handle a clausal subset of first-order with discrete time. Proposed by M. Abadi and Z. Manna of . ["Temporal Logic in Programming", M. Abadi et al, INtl Symp Logic Prog pp.4-16 (1987)].

на заглавную

О сайте • 10 самых • Словари • Обратная связь

к началу страницы

XHTML | CSS

1.8.11