Abduction through semantic tableaux versus abduction through goal-directed proofs
Número de control: | 370643 Artículo de revista |
---|---|
Autor Principal: | Meheus, Joke |
Otros Autores: | Provijn, Dagmar |
Idioma: | Inglés |
Acceso electrónico: |
https://dialnet.unirioja.es/servlet/catart?codigo=2652008 |
Ejemplares relacionadas: |
Publicado en: Theoria: an international journal for theory, history and foundations of science Vol. 22, n. 60 (2007) |