<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-01-10 12:55:32FO Finite model theory Algebraic logic Mathematical logic Formal methods Boolean algebra Mathematics Theoretical computer science Abstract algebra |
|
| First Page | Document Content | |
|---|---|---|
Date: 2008-01-10 12:55:32FO Finite model theory Algebraic logic Mathematical logic Formal methods Boolean algebra Mathematics Theoretical computer science Abstract algebra |
|
Pseudocode for a recursive solution to the Knight’s Tour problem. The players: o