- Die Seite ist noch in Bearbeitung - 

SUDOKUS

3-dimensionale Felder und renamable Horn Formeln

Implikationen, die durch die Feldprodukte erfüllt werden

Die Para-2-KNF

Das lateinische 3x3-Quadrat