Automated theorem proving: theory and practice

Podobné jednotky

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