Suchergebnisse - Rademaker, Alexandre
- Treffer 1 - 4 von 4
-
1
Towards a Brazilian History Knowledge Graph Autoría: de Paiva, Valeria, Rademaker, Alexandre
Veröffentlicht 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Hennessy-Milner Logic in CSLib, the Lean Computer Science Library Autoría: Montesi, Fabrizio, Peressotti, Marco, Rademaker, Alexandre
Veröffentlicht 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
CSLib: The Lean Computer Science Library Autoría: Barrett, Clark, Chaudhuri, Swarat, Montesi, Fabrizio, Grundy, Jim, Kohli, Pushmeet, de Moura, Leonardo, Rademaker, Alexandre, Yingchareonthawornchai, Sorrachai
Veröffentlicht 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
Automated, LLM enabled extraction of synthesis details for reticular materials from scientific literature Autoría: 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
Veröffentlicht 2024Fuente: arXivTipo de material: PreprintAcceso al recurso