Ir al contenido principal

A machine program for theorem-proving | NiceBooksReads

NiceBooksReadsLAS HISTORIAS NOS UNEN

Descubrir Libros ¿Qué se está leyendo?Noticias Literarias del Mundo Amistad literaria Salas de libros Club de lectura Ebooks Audiolibros Estudios creativos Expertos

EspañolES

IdiomaPaís / mercado

El mercado determina moneda, catálogo y pagos, sin cambiar el idioma.

Iniciar sesión Registrarse

NiceBooksReadsLAS HISTORIAS NOS UNEN

Idioma

EspañolES

IdiomaPaís / mercado

El mercado determina moneda, catálogo y pagos, sin cambiar el idioma.

Explorar NiceBooksReads

⌕Descubrir›▥Libros›↗¿Qué se está leyendo?›✦Noticias Literarias del Mundo›♡Amistad literaria›◌Salas de libros›▧Club de lectura›▤Ebooks›▶Audiolibros›✦Estudios creativos›◇Expertos›

Iniciar sesión Registrarse

← Volver a la biblioteca

Información sobre la fuente y el uso

Accedes a esta obra a través de su ficha de origen en Internet Archive. NiceBooksReads facilita el acceso a la fuente y ofrece una interfaz de lectura y escucha.

Los derechos de la obra y la grabación pertenecen a sus respectivos titulares. Consulta la licencia y las condiciones de acceso y uso de la ficha de origen. Este aviso no concede derechos adicionales de uso o republicación.

Ficha de origen ↗Condiciones de uso de la fuente ↗

A machine program for theorem-proving

English

A machine program for theorem-proving

Martin Davis George Logemann Donald Loveland

13 p. 28 cm

Inicia sesión con tu cuenta gratuita para leer, descargar EPUB o escuchar.

Leer en línea →EPUB ↓

Informar de un problema con este libro

A machine program for theorem-proving

ProblemaDetalles (opcional)

Ediciones digitales

Buscar otras ediciones →

NiceBooksReadsLAS HISTORIAS NOS UNEN

Una comunidad creativa donde las historias se escriben, leen, escuchan y se unen a la publicación profesional.

Descubrir Libros ¿Qué se está leyendo?Noticias Literarias del Mundo

Privacidad y cookies Acuerdo de usuario Contrato de venta a distancia Configuración de cookies

●Conexión seguraProtegida con cifrado HTTPS y SSL/TLS

Tarjetas de pago

VISAmastercardtroy

© 2026 NiceBooksReads · Todos los derechos reservados.