期刊


ISSN0218-2130
刊名International Journal of Artificial Intelligence Tools
参考译名国际人工智能工具杂志
收藏年代2000~2024



全部

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

2006, vol.15, no.1 2006, vol.15, no.2 2006, vol.15, no.3 2006, vol.15, no.4 2006, vol.15, no.5 2006, vol.15, no.6

题名作者出版年年卷期
MILESTONES FOR AUTOMATED REASONING WITH OTTERLARRY WOS20062006, vol.15, no.1
IMPLEMENTING THE MODEL EVOLUTION CALCULUSALEXANDER FUCHS; CESARE TINELLI20062006, vol.15, no.1
THINGS TO KNOW WHEN IMPLEMENTING LPOBERND LOCHNER20062006, vol.15, no.1
AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATIONEWEN DENNEY; BERND FISCHER; JOHANN SCHUMANN20062006, vol.15, no.1
MoMM - FAST INTERREDUCTION AND RETRIEVAL IN LARGE LIBRARIES OF FORMALIZED MATHEMATICSJOSEF URBAN20062006, vol.15, no.1