5 Ergebnisse für: brewka
-
Aktionsbeschreibungssprachen - Google-Suche
http://www.google.de/search?hl=de&safe=off&q=Aktionsbeschreibungssprachen&btnG=Suche&meta=
Keine Beschreibung vorhanden.
-
Gründungsmitglieder
http://www.cfp.at/afp/afp.nsf/sysPages/gruendungsmitglieder.html
Keine Beschreibung vorhanden.
-
G-I-B-Formel - Google-Suche
http://www.google.de/search?hl=de&client=firefox-a&rls=org.mozilla:de:official&hs=zUI&q=G-I-B-Formel&start=50&sa=N
Keine Beschreibung vorhanden.
-
Deutsche Biographie - Pichler, Franz von
https://www.deutsche-biographie.de/gnd13362045X.html#ndbcontent
Deutsche Biographie
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …