Café + libro = Plan Perfecto | Hasta 50% dto + ENVÍO GRATIS solo por hoy  Ver más

Enviar a
C.A.B.A., Ciudad Autónoma de Buenos Aires
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

    Estás en:
  1. Inicio 
  2. Libros 
  3. Libros 

Libros de Mauricio Ayala Rincon

Encontramos 4 Libros para mauricio ayala rincon

Estado:TodosNuevosUsadosAnticuariosNuevo
Applied Logic for Computer Scientists and Mathematicians: Computational Deduction and Formal Proofs (en Inglés)

Applied Logic for Computer Scientists and Mathematicians: Computational Deduction and Formal Proofs (en Inglés)

Mauricio Ayala-Rincón
Springer Nature Switzerland, 2026, Tapa Blanda, Nuevo
50%
dcto.

$ 243.804

$ 121.902
Aprovecha esta PREVENTA
Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés)

Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés)

Ayala-Rincón, Mauricio ; Muñoz, César a.
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 196.881

$ 98.440
Applied Logic for Computer Scientists (en Inglés)

Applied Logic for Computer Scientists (en Inglés)

Flávio L. C. de Moura;Mauricio Ayala-Rincón
Springer Nature B.V., 2017, Tapa Blanda, Nuevo
50%
dcto.

$ 194.544

$ 97.272
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) (en Inglés)

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) (en Inglés)

Mauricio Ayala-Rincón; Flávio L. C. De Moura
Springer, 2017, 1 edición, Tapa Blanda, Nuevo
50%
dcto.

$ 181.277

$ 90.638

Se han encontrado pocos libros. Puedes Repetir la Búsqueda sin exigir que estén presentes todos los términos buscados..