Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Jump to user comments
1. In logic, a sequence of symbols representing terms,
predicates, connectives and quantifiers which is either
true or false.
2. language, music FORTH Music Language. An extension of
FORTH with concurrent note-playing processes. Runs on
Macintosh and Atari ST with MIDI output.
["Formula: A Programming Language for Expressive Computer
Music", D.P. Anderson et al Computer 24(7):12 (Jul 1991)].