Isabel Gomes Barbosa

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

1 Isabel Gomes Barbosa, Newton José Vieira: Extracting Case-based Answers from Closed Proof-trees. ICAART (1) 2010: 377-384

	2010
1		Isabel Gomes Barbosa, Newton José Vieira: Extracting Case-based Answers from Closed Proof-trees. ICAART (1) 2010: 377-384

Coauthor Index

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page