Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- assistant de preuve 4 Treffer
- coq 4 Treffer
- lang 4 Treffer
- verification 2 Treffer
- algorithmic skeletons 1 Treffer
-
30 weitere Werte:
- ambiguity 1 Treffer
- automata theory 1 Treffer
- automation 1 Treffer
- automatisation 1 Treffer
- code analysis 1 Treffer
- common knowledge 1 Treffer
- edu 1 Treffer
- epistemic logic 1 Treffer
- extraction 1 Treffer
- finite geometry 1 Treffer
- formal languages 1 Treffer
- formal methods 1 Treffer
- formal verification 1 Treffer
- higher order 1 Treffer
- logic 1 Treffer
- manag 1 Treffer
- matroid theory 1 Treffer
- methodes formelles 1 Treffer
- program semantics 1 Treffer
- projective geometry 1 Treffer
- proof 1 Treffer
- psy 1 Treffer
- regular expressions 1 Treffer
- relation algebra 1 Treffer
- semantics 1 Treffer
- squelettes algorithmiques 1 Treffer
- stat 1 Treffer
- uip 1 Treffer
- univers 1 Treffer
- verification formelle 1 Treffer
Verlag
Sprache
8 Treffer
-
-
In: Hyper Article en Ligne - Sciences de l'Homme et de la Société ; Programming Logics - Essays in Memory of Harald Ganzinger. ; Andrei Voronkov, Christoph Weidenbach. Programming Logics - Essays in Memory of Harald Ganzinger., Springer, pp.271-284, 2013, Lecture Notes in Computer Science; (2013)BuchZugriff:
-
In: Theses.fr, 2019HochschulschriftZugriff:
-
In: Theses.fr, 2013HochschulschriftZugriff:
-
In: Theses.fr, 2016HochschulschriftZugriff:
-
-
In: Theses.fr, 2016HochschulschriftZugriff: