Publication | Closed Access
A world championship caliber checkers program
161
Citations
14
References
1992
Year
EngineeringAutomated ReasoningGame TheoryVerificationFormal MethodsComputer-aided VerificationComputer ScienceEvaluation FunctionFormal VerificationGeneral Game Playing
| Year | Citations | |
|---|---|---|
Page 1
Page 1