Boolesche Felder zur Behandlung des Erfüllbarkeitsproblems für konjunktive Normalformen
 

 - Die Seite ist noch in Bearbeitung - 





Prof. Dr. Christa Polaczek, Aachen