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)