Travelled to:
1 × USA
Collaborated with:
T.Walsh A.Bundy
Talks about:
proof (1) seri (1) plan (1) use (1) sum (1)
Person: Alex Nunes
DBLP: Nunes:Alex
Contributed to:
Wrote 1 papers:
- CADE-1992-WalshNB #proving #theorem proving #using
- The Use of Proof Plans to Sum Series (TW, AN, AB), pp. 325–339.