dc.contributor.author | Meheus, Joke | |
dc.contributor.author | Provijn, Dagmar | |
dc.date.accessioned | 2020-01-29T15:53:03Z | |
dc.date.available | 2020-01-29T15:53:03Z | |
dc.date.issued | 2007 | |
dc.identifier.citation | Theoria 22(3) : 295-304 (2007) | |
dc.identifier.issn | 2171-679X | |
dc.identifier.uri | http://hdl.handle.net/10810/39352 | |
dc.language.iso | eng | |
dc.publisher | Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua | |
dc.rights | info:eu-repo/semantics/openAccess | |
dc.title | Abduction through semantic tableaux versus abduction through goal-directed proofs | |
dc.type | info:eu-repo/semantics/article | |
dc.rights.holder | © 2007, Servicio Editorial de la Universidad del País Vasco Euskal Herriko Unibertsitateko Argitalpen Zerbitzua | |