Buscar por Materia Keywords. Abduction, Abductive Programming, Semantic Tableaux.
Mostrando resultados 1 a 1 de 1
Vista previa | Fecha de publicación | Título | Autor(es) |
---|---|---|---|
17-sep-1998 | Computing Abduction in Semantic Tableaux | Aliseda, Atocha |