Pulse en una miniatura para ir a Google Books.
Cargando... Automated Reasoning: Introduction and Applicationspor Larry Wos
Ninguno Cargando...
Inscríbete en LibraryThing para averiguar si este libro te gustará. Actualmente no hay Conversaciones sobre este libro. Ninguna reseña sin reseñas | añadir una reseña
Explains How a Computer Can Be Programmed to Reason. Discusses the Application of Automated Reasoning to Designing Logic Circuits & Proving Properties of Other Computer Programs. No se han encontrado descripciones de biblioteca. |
Debates activosNinguno
Google Books — Cargando... GénerosSistema Decimal Melvil (DDC)006.3Information Computer Science; Knowledge and Systems Special Topics Artificial IntelligenceClasificación de la Biblioteca del CongresoValoraciónPromedio:
¿Eres tú?Conviértete en un Autor de LibraryThing. |