Automated theorem proving: theory and practice

Benzer Materyaller

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