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 - TY - JOUR A1 - Socher, Rolf A1 - Beck, Eberhard A1 - Schrader, Thomas A1 - Löwe, Katharina A1 - Kindsmüller, Martin Christof A1 - Syrjakow, Michael A1 - Vielhauer, Claus A1 - Liefold, Marius A1 - Hasche, Eberhard A1 - Götze, Thomas A1 - Goecke, Sven-Frithjof A1 - Hirsch, Sören A1 - Hoier, Bernhard A1 - Kraska, Martin A1 - Malessa, Reiner A1 - Möllmann, Klaus-Peter A1 - Pinno, Frank A1 - Mieke, Christian A1 - Vollmer, Michael A1 - Burger-Menzel, Bettina A1 - Frosch, Katharina A1 - Johannsen, Andreas A1 - Meiser, Vera G. A1 - Scheeg, Jochen A1 - Schwill, Jürgen A1 - Höding, Michael A1 - Lüthy, Anja A1 - Stokar von Neuforn, Daniela A1 - Wilms, Andreas A1 - Edel, Karl-Otto A1 - Pusch, Gerhard A1 - Parsch, Stefan A1 - Höft, Uwe A1 - Loose, Harald A1 - Tetzlaff, Laura A1 - Orlowski, Katja A1 - Kell, Gerald T1 - Forschungsbericht der Technischen Hochschule Brandenburg 2015-2016 N2 - Mit den Forschungsberichten bietet die Technische Hochschule Brandenburg einen regelmäßigen Überblick zu den Forschungsthemen und -projekten der Hochschule. T2 - Research Report of the Brandenburg University of Applied Sciences T3 - Forschungsbericht der Technischen Hochschule Brandenburg - 2015/2016 Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:522-opus4-19510 SN - 1861-3462 PB - Technische Hochschule Brandenburg CY - Brandenburg an der Havel ET - Berichtszeitraum: WS 2014/15; SS 2016 ER -