Mostrando 1 - 3 Resultados de 3 Para Buscar 'International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Proceedings of the Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction
    Publicado 2017
    “…International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice…”
    Libro electrónico
  2. 2
    LFMTP 2014 : proceedings of the ninth International Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : July 17, 2014, Vienna, Austria
    por Felty, Amy
    Publicado 2014
    “…International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice…”
    Libro electrónico
  3. 3
    LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark
    por Chlipala, Adam
    Publicado 2012
    “…International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice…”
    Libro electrónico

Herramientas de búsqueda: