Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001

Tipo Año Título Fuente
Artículo2001Verifying an applicative ATP using multiset relationsCOMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001