Automated theorem proving: theory and practice

類似資料

• Artificial Intelligence in Process Engineering.
  著者:: Mavrovouniotis, Michael L
  出版事項: (1990)
• Artificial intelligence: a modern approach
  著者:: Russell, Stuart J.
  出版事項: (2003)
• Machine Intelligence and Autonomy for Aerospace Systems
  著者:: Heer Ewald
  出版事項: (1988)
• Artificial intelligence and intelligent systems
  著者:: Padhy, N.P
  出版事項: (2007)
• Intelligent assistant systems:concepts, techniques and technologies
  著者:: Kaschek, Roland H.
  出版事項: (2007)