<--- Back to Details
First PageDocument Content
Abstract strategy games / Board games / Chess problem / Algebraic notation / Outline of chess / Endgame study / Games / Chess endgames / Chess
Date: 2015-03-14 12:28:18
Abstract strategy games
Board games
Chess problem
Algebraic notation
Outline of chess
Endgame study
Games
Chess endgames
Chess

WORLD FEDERATION FOR CHESS COMPOSITION 10th WORLD CHESS COMPOSITION TOURNAMENT

Add to Reading List

Source URL: www.wfcc.ch

Download Document from Source Website

File Size: 507,29 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