Вы здесь

Главная

диалоговый язык

Связанные издания:

A Metalanguage for Interactive Proof in LCF
Mixed Dialigue Control Defined by an Attribute Grammar
The Definition of Standart ML Version 3
ФОКАЛ - диалоговый язык для мини-ЭВМ