|
Related terms:
tt
treats
numeric
negation
horn clause
semantics
programming language
Wikipedia sources: C syntax Boolean satisfiability problem List of characters in Fables J (programming language) Boolean algebra (logic) Logic programming Context for words: literals |
|