Penulis: Thomas A. Standish

Computer Chess deals with the history of computer chess games and the programming of computer chess. Topics covered include chess programs such as the one initiated by Richard Greenblatt and those la …

ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publicatio …