PuzzleTool

PuzzleTool: An example of programming computation and deduction

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Gordon, Michael J.C.: PuzzleTool: An example of programming computation and deduction (2002)