University of Illinois at Chicago 851 South Morgan St., Chicago, Illinois 60607-7045 kauffman@uic.edu;
机译:再谈弗拉格决议
机译:虚拟逻辑-量子理论的逻辑
机译:通过控制虚拟接地电压的逻辑状态优化FPGA中可配置逻辑模块的功耗
机译:单次拍摄逻辑模式:利用单个故障定位和约束,增加逻辑故障的诊断分辨率
机译:解析逻辑的逻辑编程框架。
机译:将虚拟反应纳入基于逻辑的基于配体的虚拟筛选方法中以发现新的潜在客户
机译:量化模态逻辑的可实现语义:推广Flagg's 1985年建设
机译:自动流量咨询和解决服务(aTaRs)算法,包括分辨率 - 建议 - 寄存器逻辑。第1卷第1至11节