Proofs with tables. Miller, D. & Nigam, V. 2008. Available via the authors web pages
bibtex   
@unpublished{miller08unp,
  author = {Dale Miller and Vivek Nigam},
  title = {Proofs with tables},
  note = {Available via the authors web pages},
  year = {2008}
}

Downloads: 0