СловариФорумКупитьСкачатьКонтакты

   Русский Английский +
Google | Forvo | +

логика ветвящегося времени

ударения
прогр. computational tree logic (ssn); branching-time logic (ssn)