- idUS
- Listar por autor
Listar por autor "Kaufmann, Matt"
Mostrando ítems 1-1 de 1
-
Artículo
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 ...