Research output per year
Research output per year
Research activity per year
Computer Science, Doctorate, Constraint Solving Over Multi-valued Logics - Application to Digital Circuits, Universidade NOVA de Lisboa
Award Date: 1 Jan 2002
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Contribution to conference › Paper › peer-review