DBLP:conf/ijcai/Bundy75 + redirect page
Analysing Mathematical Proofs (Or Reading Between the Lines) + Has identifier
| Analysing Mathematical Proofs (Or Reading Between the Lines) |
Has publishing details
pp. 22-28, 1975
Has title
Analysing Mathematical Proofs (Or Reading Between the Lines)
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai75.html#Bundy75
Has where published
IJCAI
Has year
1975
Has author
Alan Bundy +
Has identifier
Analysing Mathematical Proofs (Or Reading Between the Lines) +
Categories Proceeding Paper +
|
