Automated theorem proving: theory and practice

Gelijkaardige items

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