× Logisches Schliessen mit massiv parallelen Methodenvon Antje Strohmaier, Vorwort von Steffen Hölldobler