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)