Automated reasoning with analytic tableaux and related methods

• 软件学报
• 软件(教育现代化)（电子版）
• 模式识别与人工智能
• 计算技术与自动化
• 上海信息化
• 计算机科学与探索
• 福建电脑
• 集成技术
• 电脑知识与技术（数字社区与智能家居）
• 航空计算技术

更多>>

• International journal of computing & information technology
• Artificial life and robotics
• Systems, Man and Cybernetics, Part A, IEEE Transactions on
• Computer networks
• Sensors and Actuators. B, Chemical
• Scientific Computing & Instrumentation
• Expert Systems with Application
• International journal of applied geospatial research
• 情報処理学会論文誌
• Fundamenta Informaticae

更多>>

• 煤矿瓦斯灾害防治理论战略研讨
• 第八届敏感元件与传感器学术会议
• 第五届中国Rough集与软计算学术研讨会
• 第十三届全国容错计算学术会议
• 2011 Second International Conference on Information,Communication and Education Application(ICEA2011)(2011年第二届信息、通信与教育应用国际学术研讨会）
• 第二届立体图象技术及其应用(国际)研讨会
• 中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会
• 中国微计算机2000年年会、中国嵌入式系统主题研讨会
• 全国第十一届可拓学年会
• 2014第十四届计算机应用技术交流会

更多>>

• CONCUR 2011 - Concurrency theory
• Developments in Photovoltaic Electricity Production
• Machine learning
• 2017 IEEE 7th Annual International Conference on CYBER Technology in Automation, Control, and Intelligent Systems
• IFAC Workshop on Intelligent Assembly and Disassembly 2001 (IAD 2001), Nov 5-7, 2001, Canela, Brazil
• 2017 International Conference on Emerging Trends in Computing and Communication Technologies
• 2015 International Conference on Industrial Instrumentation and Control
• Fifth International Conference on Computer Aided Optimum Design of Structures (OPTI 97) 8-10 September Rome
• Hellenic Conference on AI(Artificial Intellignece)(SENTN 2004); 20040505-20040508; Samos; GR
• Intelligent distributed computing VIII

更多>>

• Meeting of the internet engineering task force;IETF
• 日本建築学会;日本建築学会大会
• 日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
• 日本建築学会学術講演会;日本建築学会
• 日本建築学会2010年度大会（北陸）
• Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
• 土木学会;土木学会全国大会年次学術講演会
• 応用物理学会秋季学術講演会;応用物理学会
• 総合大会;電子情報通信学会
• The 4th International Conference on Wireless Communications, Networking and Mobile Computing（第四届IEEE无线通信、网络技术及移动计算国际会议）论文集

更多>>

• 2011 IEEE Cool Chips XIV
• International workshop on Java technologies for real-time and embedded systems
• Supercomputing '88. [Vol.1]. Proceedings.
• RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
• International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
• The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
• Real Time Systems Symposium, 1989., Proceedings.
• Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
• American Filtration and Separations Society conference
• Combined structures congress;North American steel construction conference;NASCC

更多>>