Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 4 Treffer
- lang 4 Treffer
- assistant de preuve 3 Treffer
- ambiguity 1 Treffer
- automata theory 1 Treffer
-
20 weitere Werte:
- code analysis 1 Treffer
- common knowledge 1 Treffer
- epistemic logic 1 Treffer
- extraction 1 Treffer
- formal languages 1 Treffer
- formal methods 1 Treffer
- formal verification 1 Treffer
- higher order 1 Treffer
- logic 1 Treffer
- manag 1 Treffer
- methodes formelles 1 Treffer
- program semantics 1 Treffer
- proof 1 Treffer
- psy 1 Treffer
- regular expressions 1 Treffer
- relation algebra 1 Treffer
- semantics 1 Treffer
- uip 1 Treffer
- univers 1 Treffer
- verification 1 Treffer
Verlag
6 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: