00673nam a2200181 4500008004100000022002200041245006500063210006400128260004100192100002500233700002100258700002400279700001700303700002000320700002200340700002100362856010800383 2011 eng d a978-3-935025-85-000aLogik und Logikprogrammierung Band 2: Aufgaben und Lösungen0 aLogik und Logikprogrammierung Band 2 Aufgaben und Lösungen aHeidelberg, GermanybSynchron Verlag1 aHölldobler, Steffen1 aBader, Sebastian1 aFronhöfer, Bertram1 aHans, Ursula1 aHitzler, Pascal1 aKrötzsch, Markus1 aPietzsch, Tobias uhttps://daselab.cs.ksu.edu/publications/logik-und-logikprogrammierung-band-2-aufgaben-und-l%C3%B6sungen