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.
In questa pagina del sito puoi guardare il video online using a structure editor della durata di ore minuti seconda in buona qualità , che l'utente ha caricato Mark Tarver 19 gennaio 2019, condividi il link con amici e conoscenti, su youtube questo video è già stato visto 124 volte e gli è piaciuto 0 spettatori. Buona visione!
