Näytetään 1 - 1 yhteensä 1 tuloksesta haulle '"Automated theorem proving"', hakuaika: 0,02s Tarkenna hakua
  1. 1
    Automated theorem proving: theory and practice
    Tekijä Newborn, Monty
    Julkaistu 2001
    Aiheet: “...Automated theorem proving AI (Artificial intelligence) Electronic brains Intelligence, Artificial...”
    Printed Book
Työkalut: RSS-syöte — Lähetä haku sähköpostilla