Ruhr-Universität Bochum
Lehrstuhl für Künstliche Intelligenz und Formale Methoden
Kontakt
Lehrstuhl für Künstliche Intelligenz und Formale Methoden
Universitätsstraße 150
44801 Bochum
44801 Bochum
Zugehörige Einrichtungen
Ruhr-Universität Bochum
Alle Ebenen einblenden | ausblenden
- Centrum für Religionswissenschaftliche Studien (CERES)Zur Einrichtung
- Evangelisch-Theologische FakultätZur Einrichtung
- Fakultät für Bau- und UmweltingenieurwissenschaftenZur Einrichtung
- Fakultät für Biologie und BiotechnologieZur Einrichtung
- Fakultät für Chemie und BiochemieZur Einrichtung
- Fakultät für Elektrotechnik und InformationstechnikZur Einrichtung
- Fakultät für GeowissenschaftenZur Einrichtung
- Fakultät für GeschichtswissenschaftZur Einrichtung
- Fakultät für InformatikZur Einrichtung
- Arbeitsgruppe Software SecurityZur Einrichtung
- Chair of Implementation SecurityZur Einrichtung
- Lehrstuhl für Datenbanken und InformationssystemeZur Einrichtung
- Lehrstuhl für Human-Centred SecurityZur Einrichtung
- Lehrstuhl für Information SecurityZur Einrichtung
- Lehrstuhl für Künstliche Intelligenz und Formale Methoden
- Lehrstuhl für Neural Data ScienceZur Einrichtung
- Lehrstuhl für Security EngineeringZur Einrichtung
- Lehrstuhl Kryptologie und IT-SicherheitZur Einrichtung
- Lehrstuhl Quantum InformationZur Einrichtung
- Lehrstuhl Theoretische Informatik / AlgorithmikZur Einrichtung
- Professur für Betriebssysteme und SystemsoftwareZur Einrichtung
- Fakultät für MaschinenbauZur Einrichtung
- Fakultät für MathematikZur Einrichtung
- Fakultät für OstasienwissenschaftenZur Einrichtung
- Fakultät für PhilologieZur Einrichtung
- Fakultät für Philosophie und ErziehungswissenschaftZur Einrichtung
- Fakultät für Physik und AstronomieZur Einrichtung
- Fakultät für PsychologieZur Einrichtung
- Fakultät für SozialwissenschaftZur Einrichtung
- Fakultät für SportwissenschaftZur Einrichtung
- Fakultät für WirtschaftswissenschaftZur Einrichtung
- Gemeinsame Arbeitsstelle RUB/IGMZur Einrichtung
- Horst-Görtz-Institut für IT-Sicherheit (HGI)Zur Einrichtung
- Hygiene-Institut des Ruhrgebiets - Institut für Umwelthygiene und UmweltmedizinZur Einrichtung
- Institut für Arbeitswissenschaft (IAW)Zur Einrichtung
- Institut für Berg- und EnergierechtZur Einrichtung
- Institut für DeutschlandforschungZur Einrichtung
- Institut für Friedenssicherungsrecht und Humanitäres Völkerrecht (IFHV)Zur Einrichtung
- Institut für Neuroinformatik (INI)Zur Einrichtung
- Institut für soziale BewegungenZur Einrichtung
- Interdisciplinary Centre for Advanced Materials SimulationsZur Einrichtung
- International Graduate School for Neuroscience (IGSN)Zur Einrichtung
- Juristische FakultätZur Einrichtung
- Katholisch-Theologische FakultätZur Einrichtung
- Landesspracheninstitut (LSI)Zur Einrichtung
- Medizinische FakultätZur Einrichtung
- Musisches ZentrumZur Einrichtung
- Professional School of EducationZur Einrichtung
- Research Department Interfacial Systems Chemistry (IFSC)Zur Einrichtung
- Research Department Plasmas with Complex InteractionsZur Einrichtung
- RUB Research SchoolZur Einrichtung
- RUBION, Zentrale Einrichtung für Ionenstrahlen und RadionuklideZur Einrichtung
- Schreibzentrum der Ruhr-Universität BochumZur Einrichtung
- Universitäts-Klinikum der Ruhr-Universität BochumZur Einrichtung
- Universitätsallianz Ruhr (UA Ruhr)Zur Einrichtung
- UniversitätsarchivZur Einrichtung
- UniversitätsbibliothekZur Einrichtung
- Zentrum für Fremdsprachenausbildung (ZFA)Zur Einrichtung
- Zentrum für MittelmeerstudienZur Einrichtung
- Zentrum für Theoretische und Integrative Neuro- und Kognitionswissenschaft (THINK)Zur Einrichtung
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular