Gradual abstract proof search
| Information | |
|---|---|
| Title: | Gradual abstract proof search | 
| Author: | Tristan Cazenave | 
| Publisher: | International computer chess association | 
| Year of issue: | 2002 | 
| Country: | NE | 
| City: | Maastricht | 
| ISBN: | ISSN 1389-6911 | 
| Tome/Volume: | No. 1 | 
| Issue: | Vol. 25 | 
| Page: | p. 3-15 | 
| Annotation: | Article with proof that 6x6 Atari-Go with a crosscut in the centre is a win for the first player in 15 plies or fewer. | 
Back to the European Go Library.

