TY - BOOK T1 - Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen Y1 - 2011 A1 - Steffen Hölldobler A1 - Sebastian Bader A1 - Bertram Fronhöfer A1 - Ursula Hans A1 - Pascal Hitzler A1 - Markus Krötzsch A1 - Tobias Pietzsch PB - Synchron Verlag CY - Heidelberg, Germany ER -