- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Artículos (Ciencias de la Computación e Inteligencia Artificial)
- Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Author
Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Author "Wilding, Matthew"
Now showing items 1-1 of 1
-
Article
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 ...