Resultados de búsqueda - Rademaker, Alexandre

Towards a Brazilian History Knowledge Graph por de Paiva, Valeria, Rademaker, Alexandre

Enlace del recurso

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library por Montesi, Fabrizio, Peressotti, Marco, Rademaker, Alexandre

Enlace del recurso

CSLib: The Lean Computer Science Library por Barrett, Clark, Chaudhuri, Swarat, Montesi, Fabrizio, Grundy, Jim, Kohli, Pushmeet, de Moura, Leonardo, Rademaker, Alexandre, Yingchareonthawornchai, Sorrachai

Enlace del recurso

Automated, LLM enabled extraction of synthesis details for reticular materials from scientific literature por da Silva, Viviane Torres, Rademaker, Alexandre, Lionti, Krystelle, Giro, Ronaldo, Lima, Geisa, Fiorini, Sandro, Archanjo, Marcelo, Carvalho, Breno W., Neumann, Rodrigo, Souza, Anaximandro, Souza, João Pedro, de Valnisio, Gabriela, Paz, Carmen Nilda, Cerqueira, Renato, Steiner, Mathias

Enlace del recurso