logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

Model Evolution-Based Theorem Proving

delete2014-01-01
delete2
PRE
AI
P
Peter Baumgartner *
DOI：10.1109/MIS.2013.124delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Intelligent Systems cover
IEEE Intelligent Systems
IF:
6.1
Papers:
1.6K
Citations:
4.5K

Organization

No organization information available