Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Joke MEHEUS
Formato:	Artículo científico
Lenguaje:	en
Publicado:	Universidad del País Vasco/Euskal Herriko Unibertsitatea 2007
Materias:	Filosofía goal Abduction semantic tableaux directed proof procedures
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet