先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

期刊


ISSN0933-1875
刊名Kunstliche Intelligenz
参考译名人工智能
收藏年代1999～2023



全部

1999 2000 2001 2002 2003 2004
2005 2006 2007 2008 2009 2010
2011 2012 2013 2014 2015 2016
2017 2018 2019 2020 2021 2022
2023

2010, vol.24, no.1 2010, vol.24, no.2 2010, vol.24, no.3

题名作者出版年年卷期
Deductive Verification of System Software in the Verisoft XT ProjectBernhard Beckert; Michal Moskal20102010, vol.24, no.1
Differential Dynamic Logics - Automated Theorem Proving for Hybrid SystemsAndre Platzer20102010, vol.24, no.1
Learning and Recognizing Structures in Facade Scenes (eTRIMS) - A RetrospectiveLothar Hotz; Bernd Neumann20102010, vol.24, no.1
Static Termination Analysis for Prolog Using Term Rewriting and SAT SolvingPeter Schneider-Kamp20102010, vol.24, no.1
Logic-Based Question AnsweringUlrich Furbach; Ingo Glockner; Hermann Helbig; Bjorn Pelzer20102010, vol.24, no.1
A SAT Solver for Circuits Based on the Tableau MethodUwe Egly; Leopold Haller20102010, vol.24, no.1
Practical Aspects of Automated Deduction for Program VerificationWolfgang Ahrendt; Bernhard Beckert; Martin Giese; Philipp Rummer20102010, vol.24, no.1
Current Trends in Automated DeductionJurgen Giesl20102010, vol.24, no.1
Small is Again Beautiful in Description LogicsFranz Baader; Carsten Lutz; Anni-Yasmin Turhan20102010, vol.24, no.1
Instance Based Methods - A Brief OverviewPeter Baumgartner; Evgenij Thorstensen20102010, vol.24, no.1
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024