Bilatu
3-tik 1-3 emaitza erakusten
A Type-Logic Approach to Refinement
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1996)
Knowledge Representation, Reflexive Reasoning and DIscourse Processing
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1996)
New Difficulties with 'If... Then': The Paradox of the Businessman
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1996)