A simple formalization and proof for the mutilated chess board.

Autor: Paulson, LC1
Zdroj: Logic Journal of the IGPL. 2000, Vol. 9 Issue 3, p475-485. 11p.
Databáze: Business Source Ultimate
Externí odkaz: