Review of how to prove it: a structured approach by Daniel J. Velleman (Cambridge University Press, 2006).

Published in: SIGACT News (2009)

Keyphrases

case study
real time
real world
genetic algorithm
computer vision
hong kong
database
artificial intelligence
optimal solution
special case
online learning
literature review
british columbia