BackSearch
Now showing items 1-3 of 3
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
; Ezquerro Martínez, Jesús 
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1996)
(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
Pérez Laraudogoitia, Jon (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1996)
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1996)