Efficient execution in an automated reasoning environment

• Autores: José Luis Ruiz Reina , David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Moore, Sandip Ray, Robert Sumners, Daron Vroon, Matthew Wilding
• Localización: Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 181-182
• Idioma: inglés
• Enlaces
  • Texto completo