Show simple item record

dc.contributor.authorMeheus, Joke
dc.contributor.authorProvijn, Dagmar
dc.date.accessioned2020-01-29T15:53:03Z
dc.date.available2020-01-29T15:53:03Z
dc.date.issued2007
dc.identifier.citationTheoria 22(3) : 295-304 (2007)
dc.identifier.issn2171-679X
dc.identifier.urihttp://hdl.handle.net/10810/39352
dc.language.isoeng
dc.publisherServicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua
dc.rightsinfo:eu-repo/semantics/openAccess
dc.titleAbduction through semantic tableaux versus abduction through goal-directed proofs
dc.typeinfo:eu-repo/semantics/article
dc.rights.holder© 2007, Servicio Editorial de la Universidad del País Vasco Euskal Herriko Unibertsitateko Argitalpen Zerbitzua


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record