Title :
Many-valued logics and the logic of the C programming language
Keywords :
Boolean algebra; Boolean functions; Computer languages; High level languages; History; Informatics; Logic programming; Multivalued logic; Operating systems; Programming profession;
Conference_Titel :
Information Technology Interfaces, 2005. 27th International Conference on
Print_ISBN :
953-7138-02-X
DOI :
10.1109/ITI.2005.1491200
