Automated theorem proving: theory and practice

Podobne zapisy

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