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)