Application of Mathematical Logic in Modern Design.

Jie Tang, Xing Ji

Browse the full HCI paper archive.