Tallada j m (4 resultados)

Condición: Muy bueno. : Este libro, titulado 'Prueba automática de teoremas', es una exploración del campo de la demostración automática de teoremas. Publicado en 1982, el libro consta de 127 páginas y está escrito en español. Es una obra que profundiza en los aspectos teóricos y prácticos de la automatización de la demostración de teoremas, ofreciendo una visión detallada de los métodos y técnicas utilizados en este campo. EAN: 9788485630479 Tipo: Libros Categoría: Tecnología Título: Prueba automática de teoremas Autor: J. M. Lorente Tallada Idioma: es-ES Páginas: 127.…

Rústica (Tapa blanda). Condición: Muy Bien. Sin cubierta. Materia: Urología. Características físicas: Libro en excelente estado. Ubicación: R5B1-60. LIBRO.

1945 Montesó 2a ed. Col. Biblioteca del Hombre de Negocios Moderno; 3. 437 p. 23x16 cm. Enc. tela c/sobr. Para ver o recibir fotografías de los libros puede ir a nuestra web o solicitarlas., ).

1910 Joventut nacionalista, Barcelona 78 p. 18x11 cm. Enc. rústica Para ver o recibir fotografías de los libros puede ir a nuestra web o solicitarlas.(elecciones, municipios, sufragio universal, votaciones, elecciones, municipios, sufragio universal, votaciones).