Mostrando 1 - 4 Resultados de 4 Para Buscar 'Paulson, Lawrence C.', tiempo de consulta: 0.04s Limitar resultados
  1. 1
    por Paulson, Lawrence C.
    Publicado 1996
    Publisher description
    Table of contents
    Libro
    ML for the working programmer /
  2. 2
    por Li, Wenda, Paulson, Lawrence C.
    Publicado 2019
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
  3. 3
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Algebraically Closed Fields in Isabelle/HOL
  4. 4
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The Higher-Order Prover Leo-II
Herramientas de búsqueda: RSS