Visas 1 - 1 av 1 resultat för sökning '"Automated theorem proving"', Sökningstid : 0,03s Förfina resultatet
  1. 1
    Automated theorem proving: theory and practice
    av Newborn, Monty
    Publicerad 2001
    Ämnen: “...Automated theorem proving AI (Artificial intelligence) Electronic brains Intelligence, Artificial...”
    Printed Book
Sökverktyg: RSS-flöde — Skicka sökningen per e-post