Ver Publicación - Prisma - Unidad de Bibliometría

Efficient execution in an automated reasoning environment

José Luis Ruiz Reina; David A. Greve; Matt Kaufmann; Panagiotis Manolios; J. Moore; Sandip Ray; Robert Sumners; Daron Vroon; Matthew Wilding

Fuente Nº Citas Fecha Actualización
dialnet012-11-2024
No exiten datos para esta publicación
# Autor
1José Luis Ruiz Reina
2David A. Greve
3Matt Kaufmann
4Panagiotis Manolios
5J. Moore
6Sandip Ray
7Robert Sumners
8Daron Vroon
9Matthew Wilding