Automated theorem proving: theory and practice

Lignende værker

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