<--- Back to Details
First PageDocument Content
World chess champions / Internet Chess Club / Outline of chess / Susan Polgar / World Chess Network / Free Internet Chess Server / Computer chess / Cheating in chess / Xie Jun / Chess / Games / Chess variants
Date: 2011-11-08 16:22:47
World chess champions
Internet Chess Club
Outline of chess
Susan Polgar
World Chess Network
Free Internet Chess Server
Computer chess
Cheating in chess
Xie Jun
Chess
Games
Chess variants

Add to Reading List

Source URL: www.chesscafe.com

Download Document from Source Website

File Size: 84,74 KB

Share Document on Facebook

Similar Documents

Mathematics / Algebra / Abstract algebra / Distribution / Number theory / Valuation / Universal property / BorelKolmogorov paradox

LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

DocID: 1xW2u - View Document

Quality assurance / Standards / Professional certification / Accreditation / Certification / Slot machine / Human behavior / Evaluation / Applied ethics / ECOGRA

Certification procedure for games of chance machines and jackpot systems

DocID: 1xW0k - View Document

Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Stochastic game / Linear temporal logic / Markov chain / Markov decision process

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

DocID: 1xVYM - View Document

Theoretical computer science / Mathematics / Model checkers / Temporal logic / PRISM model checker / Computation tree logic / Model checking / Application software / Stochastic game / Strategy / Stochastic process / Game theory

PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2

DocID: 1xVVA - View Document

Formal languages / Nested word / Words

A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat

DocID: 1xVTs - View Document