7 Ergebnisse für: equational
-
OGND - results/titledata
http://swb.bsz-bw.de/DB=2.104/SET=1/TTL=1/CMD?retrace=0&trm_old=&ACT=SRCHA&IKT=2999&SRT=RLV&TRM=136245471
Keine Beschreibung vorhanden.
-
Canonical.co.de - Ihr Canonical Shop
http://www.canonical.co.de
Theory of Stochastic Canonical Equations als Buch von V. L. Girko, Canonical Obedience in the Juridical Status of Clerics als Buch von Joenick Territorio, Sparse Canonical Correlation Analysis als Buch von Elena Parkhomenko, A CANONICAL SEQUENTIAL…
-
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 …
-
8th International Conference on Automated Deduction: Oxford, England, July ... - Google Books
http://books.google.de/books?id=-exQAAAAMAAJ&q=%22Sleepsort%22&dq=%22Sleepsort%22&hl=de&ei=d7SpTou4BeSj4gS608kb&sa=X&oi=book_res
Keine Beschreibung vorhanden.
-
Formal Languages and Applications - Carlos Martin-Vide, Victor Mitrana - Google Books
https://books.google.de/books?id=Qc9s48Kv-Y4C
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible manner and accompanied by many references and directions…
-
1 Programmieren mit Ausdrücken
http://www.informatik.uni-marburg.de/~kos/teaching/kdp2012/script/Programmieren_mit_Ausdr_cken.html
Keine Beschreibung vorhanden.
-