Search
“informatik”
More pages from the web
46–50 of 63-
genterstr.hypermart.net
Genter Strasse
Genter Strasse 23, offices of Feedback Studio Verlag and Gimik: Initiative Musik und Informatik, Koeln
-
isabelle.informatik.tu-muenchen.de
Isabelle
Isabelle · · Navigation Home Overview Download Documentation Community Site Mirrors: Cambridge (.uk) Munich (.de) Sydney (.au) What is Isabelle? Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal languag
-
lmb.informatik.uni-freiburg.de
Lehrstuhl fr Mustererkennung und Bildverarbeitung
table.lmbhead { overflow:hidden; table-layout:fixed; border-style:none; border-collapse:collapse; height:101px; background-color: #f0f0f8; } table.lmbhead td { border-style:none; margin:0px; padding:0px; background-color: transparent; vertical-align:top;
-
oberon.ssw.uni-linz.ac.at
System Software
Institut für Systemsoftware Johannes Kepler Universität Linz Fachbereich Informatik Christian Doppler Labor Automated Software Engineering Home General Staff Contact Partners Alumni Research Areas Projects Papers Books Reports Teaching Lectures Exams B.P
-
www-ai.informatik.uni-dortmund.de
TU Dortmund -- Computer Science VIII
Hauptnavigation LS 8 General Research Teaching Staff Internal German Suche > General Research Teaching Staff News from the Artificial Intelligence Group The chair of artificial intelligence deals with the wide field of machine learning. In particular the