𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Tainan, Taiwan (2010.05.5-2010.05.7)] 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - A propositional calculus formal deductive system SUBC

✍ Scribed by Luo, Minxia; Ding, Chunmei

Book ID: 125542294
Publisher: IEEE
Year: 2010
Weight: 96 KB
Category: Article
ISBN: 1424455650
DOI: 10.1109/3CA.2010.5533873

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 International Symposium on Co

[IEEE 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Tainan, Taiwan (2010.05.5-2010.05.7)] 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - A remote sleep-monitoring medical alarm system

✍ Zhang, Panfeng; Zhang, Kaisheng 📂 Article 📅 2010 🏛 IEEE ⚖ 80 KB

[IEEE 2010 International Symposium on Co

[IEEE 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Tainan, Taiwan (2010.05.5-2010.05.7)] 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Simulations of SOFC on electrochemical performance

✍ Chang, Shiuh-Ming; Kuo, Jenn-Kun 📂 Article 📅 2010 🏛 IEEE ⚖ 133 KB

[IEEE 2010 International Symposium on Co

[IEEE 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Tainan, Taiwan (2010.05.5-2010.05.7)] 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - A new shot-based video watermarking

✍ Chen, Yueh-Hong; Huang, Hsiang-Cheh 📂 Article 📅 2010 🏛 IEEE ⚖ 232 KB

[IEEE 2010 International Symposium on Co

[IEEE 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Tainan, Taiwan (2010.05.5-2010.05.7)] 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Wind turbine control monitor system simulation and validation

✍ Fu, Ho-Ling; Chang, Wei-Chiang 📂 Article 📅 2010 🏛 IEEE ⚖ 337 KB

[IEEE 2010 International Symposium on Co

[IEEE 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Tainan, Taiwan (2010.05.5-2010.05.7)] 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - About distributed intrusion Detection System's research

✍ Huang, Weijian; Li, Guanjun; An, Yan; Wang, Fei 📂 Article 📅 2010 🏛 IEEE ⚖ 112 KB

[IEEE 2010 International Symposium on Co

[IEEE 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - Tainan, Taiwan (2010.05.5-2010.05.7)] 2010 International Symposium on Computer, Communication, Control and Automation (3CA) - A smart lighting system with white LED FSO communication

✍ Jenq, Fenq-Lin; Pu, Yu-Chi; Du, Wei-Chang 📂 Article 📅 2010 🏛 IEEE ⚖ 280 KB