Automated theorem proving: theory and practice

Documents similaires

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