Alex Nunes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1992

1 Toby Walsh, Alex Nunes, Alan Bundy: The Use of Proof Plans to Sum Series. CADE 1992: 325-339

	1992
1		Toby Walsh, Alex Nunes, Alan Bundy: The Use of Proof Plans to Sum Series. CADE 1992: 325-339

Coauthor Index