using a structure editor

Publié le: 19 janvier 2019
sur la chaîne: Mark Tarver
124
0

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.


Sur cette page du site, vous pouvez voir la vidéo en ligne using a structure editor durée heure minute seconde en bonne qualité , qui a été Téléchargé par l'utilisateur Mark Tarver 19 janvier 2019, Partagez le lien avec vos amis et connaissances, sur youtube cette vidéo a déjà été regardée 124 fois et il a aimé 0 téléspectateurs. Bon visionnage!