Suchergebnisse - Rademaker, Alexandre

  • Treffer 1 - 4 von 4
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Towards a Brazilian History Knowledge Graph Autoría: de Paiva, Valeria, Rademaker, Alexandre

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Hennessy-Milner Logic in CSLib, the Lean Computer Science Library Autoría: Montesi, Fabrizio, Peressotti, Marco, Rademaker, Alexandre

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    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 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    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 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: