TY - BOOK A1 - Heinsohn, Jochen A1 - Boersch, Ingo A1 - Socher, Rolf T1 - Wissensverarbeitung : eine Einführung in die Künstliche Intelligenz für Informatiker und Ingenieure KW - Wissensverarbeitung KW - künstliche Intelligenz KW - Lehrbuch Y1 - 2007 SN - 978-3-8274-1844-9 PB - Elsevier, Spektrum, Akad. Verl. CY - Müchen ; Heidelberg ET - 2. Aufl. ER - TY - BOOK A1 - Heinsohn, Jochen A1 - Socher, Rolf T1 - Wissensverarbeitung : eine Einführung T3 - HochschulTaschenbuch KW - Wissensverarbeitung KW - Lehrbuch Y1 - 1999 SN - 3-8274-0308-1 PB - Spektrum, Akad. Verl. CY - Heidelberg ER - TY - BOOK A1 - Socher, Rolf T1 - Theoretische Grundlagen der Informatik BT - mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen KW - Theoretische Informatik Y1 - 2008 SN - 978-3-446-41260-6 N1 - Reihe: Lehrbücher zur Informatik PB - Hanser CY - München ET - 3. ER - TY - BOOK A1 - Socher, Rolf T1 - Mathematik für Informatiker BT - mit Anwendungen in der Computergrafik und Codierungstheorie ; mit ... 6 Tabellen, 76 Beispielen und 294 Aufgaben KW - Endliche Mathematik KW - Lineare Algebra KW - Informatiker Y1 - 2011 SN - 978-3-446-42254-4 PB - Hanser CY - München ER - TY - BOOK A1 - Socher, Rolf T1 - Algebra für Informatiker BT - mit Anwendungen in der Kryptografie und Codierungstheorie ; mit 16 Tabellen, 45 Beispielen und 172 Aufgaben KW - Kryptologie KW - Algebra Y1 - 2012 SN - 978-3-446-43257-4 PB - Fachbuchverl. Leipzig im Carl-Hanser-Verl. CY - München ER - TY - CHAP A1 - Socher, Rolf T1 - Theoretische Grundlagen T2 - Taschenbuch der Informatik : mit 108 Tabellen / hrsg. von Uwe Schneider ... Y1 - 2007 SN - 978-3-446-40754-1 SP - 38 EP - 62 PB - Fachbuchverl. Leipzig im Carl-Hanser-Verl. CY - München ET - 6., neu bearb. Aufl. ER - TY - CHAP A1 - Heinsohn, Jochen A1 - Socher, Rolf T1 - Wissensverarbeitung T2 - Taschenbuch der Informatik : mit 108 Tabellen / hrsg. von Uwe Schneider ... Y1 - 2007 SN - 978-3-446-40754-1 SP - 618 EP - 648 PB - Fachbuchverl. Leipzig im Carl-Hanser-Verl. CY - München ER - TY - BOOK A1 - Socher, Rolf A1 - Johann, Patricia T1 - Deduction systems KW - Deduktionssystem Y1 - 1997 SN - 0-387-94847-3 PB - Springer CY - New York [u.a.] ER - TY - BOOK A1 - Socher, Rolf T1 - Deduktionssysteme KW - Deduktionssystem Y1 - 1994 SN - 3-411-17171-5 PB - BI-Wiss.-Verl. CY - Mannheim [u.a.] ER -