Thomas A. Standish – författare
Visar alla böcker från författaren Thomas A. Standish. Handla med fri frakt och snabb leverans.
2 produkter
Computer Chess
Av Monroe Newborn, Thomas A. Standish
E-bok, 2014
807 kr
Lägg i varukorg
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 launched by the United States and the USSR in 1966-1967. The United States Computer Chess …
Computational Logic
Av J Strother Moore, Robert S. Boyer m. fl.
E-bok, 2014
783 kr
Lägg i varukorg
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 publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the …
