using a structure editor
A structure editor uses knowledge of the syntax of a formal language L to help the user write expressions in L. The short clip shows a structure editor written in Shen Professional for building propositions in a logic Lsigma.
Nesta página do site você pode assistir ao vídeo on-line using a structure editor duração hora minuto segundo em boa qualidade , que foi baixado pelo usuário Mark Tarver 19 Janeiro 2019, compartilhe o link com seus amigos e conhecidos, no youtube este vídeo já foi visto 124 vezes e gostou 0 espectadores. Boa visualização!
