Dangos 1 - 1 canlyniadau o 1 ar gyfer chwilio '"Automated theorem proving"', amser ymholiad: 0.04e Mireinio'r Canlyniadau
  1. 1
    Automated theorem proving: theory and practice
    gan Newborn, Monty
    Cyhoeddwyd 2001
    Pynciau: “...Automated theorem proving AI (Artificial intelligence) Electronic brains Intelligence, Artificial...”
    Printed Book
Offerynnau Chwilio: Cael Porthiant RSS — E-bostio'r Chwiliad hwn