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)