Kanger's Choices in Automated Reasoning

This article explains these choices and their place in modern automated deduction.

Modelagem e simulação de sistemas de geração de energia para o setor de petróleo e gás

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Minimum Evaporation Model of Dermatological Delivery Systems. Lamellar Liquid Crystal Formulations Containing Brazilian Nut (Bertholletia excelsa HBK) Vegetable Oil and Guarana Glycolic Extract

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Topical Application of Retinyl Palmitate-Loaded Nanotechnology-Based Drug Delivery Systems for the Treatment of Skin Aging

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)