Showing 1 - 1 results of 1 for search '"Automated theorem proving"', सवाल का समय: 0.03सेकंड परिणाम को परिष्कृत करें
  1. 1
    Automated theorem proving: theory and practice
    द्वारा Newborn, Monty
    प्रकाशित 2001
    विषय: “...Automated theorem proving AI (Artificial intelligence) Electronic brains Intelligence, Artificial...”
    Printed Book
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें