PuzzleTool swMATH ID: 1705 Software Authors: Gordon, Michael J.C. Description: PuzzleTool: An example of programming computation and deduction Homepage: http://www.cl.cam.ac.uk/~mjcg/puzzleTool/ Related Software: PROSPER Cited in: 1 Publication Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year PuzzleTool: An example of programming computation and deduction. Zbl 1013.68542Gordon, Michael J. C. 2002 Cited by 1 Author 1 Gordon, Michael J. C. Cited in 0 Serials Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year