Mostrando 1 - 3 Resultados de 3 Para Buscar 'Platzer, André', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
    por Platzer, André
    Publicado 2021
    Otros Autores: “…Platzer, André…”
    Libro electrónico
  2. 2
    Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
    Publicado 2025
    Otros Autores: “…Platzer, Andre. editor…”
    Libro electrónico
  3. 3
    Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
    Publicado 2025
    Otros Autores: “…Platzer, André. editor…”
    Libro electrónico

Herramientas de búsqueda: