Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor 

Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor "Greve, David A."  

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      Efficient execution in an automated reasoning environment 

      Greve, David A.; Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother; Ray, Sandip; Ruiz Reina, José Luis; Sumners, Rob; Vroon, Daron; Wilding, Matthew (Cambridge University Press, 2008)
      We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while ...