Home Advanced Search
Advanced Search - Page 1
Applied logic for computer scientists : computational deduction and formal proofs
- English
- Year: 2017
- Author: Ayala-Rincón, Mauricio; Moura, Flávio L. C. de
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
- English
- Year: 2017
- Author: Mauricio Ayala-Rincón, Flávio L. C. de Moura (auth.)
Savia Andina Inventario Botánico de la Región
- Spanish
- Year: 2017
- Author: Héctor Rincón
Amphetamines: Neurobiological Mechanisms, Pharmacology and Effects : Neurobiological Mechanisms, Pharmacology and Effects
- English
- Year: 2012
- Author: Antoine Rincón
Iconos y mitos culturales en la invención de la nación en Colombia
- Spanish
- Year: 2014
- Author: Carlos Rincón
Curso intermedio de Probabilidad
- Spanish
- Year: 2007
- Author: Luis Rincón