Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithms 4 Treffer
- computer network resources 4 Treffer
- homotopy theory 4 Treffer
- mathematical research 4 Treffer
- mathematics theorems 4 Treffer
-
45 weitere Werte:
- type theory 4 Treffer
- applied sciences 3 Treffer
- automatic proving 3 Treffer
- computer science 3 Treffer
- computer science; control theory; systems 3 Treffer
- demonstration automatique 3 Treffer
- demostracion automatica 3 Treffer
- exact sciences and technology 3 Treffer
- fonctions logiques, booleennes et de commutation 3 Treffer
- informatique 3 Treffer
- informatique theorique 3 Treffer
- informatique; automatique theorique; systemes 3 Treffer
- logic and foundations 3 Treffer
- logical, boolean and switching functions 3 Treffer
- logiciel 3 Treffer
- logique et fondements 3 Treffer
- logique mathematique, fondements, theorie des ensembles 3 Treffer
- mathematical logic, foundations, set theory 3 Treffer
- mathematiques 3 Treffer
- program verification 3 Treffer
- proof theory and constructive mathematics 3 Treffer
- sciences and techniques of general use 3 Treffer
- sciences appliquees 3 Treffer
- sciences et techniques communes 3 Treffer
- sciences exactes et technologie 3 Treffer
- software 3 Treffer
- teoria demonstracion 3 Treffer
- theoretical computing 3 Treffer
- theorie de la preuve et mathematiques constructives 3 Treffer
- theorie preuve 3 Treffer
- verificacion programa 3 Treffer
- verification programme 3 Treffer
- voevodsky, vladimir, 1966-2017 3 Treffer
- computer systems performance. reliability 2 Treffer
- coq 2 Treffer
- formal method 2 Treffer
- formal verification 2 Treffer
- methode formelle 2 Treffer
- metodo formal 2 Treffer
- performances des systemes informatiques. fiabilite 2 Treffer
- verification 2 Treffer
- verification formelle 2 Treffer
- algebra relacional 1 Treffer
- algebraic topology 1 Treffer
- algebre relationnelle 1 Treffer
Publikation
Sprache
5 Treffer
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 15 (2014-06-01), Heft 3, S. 1-23Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 57 (2014-02-01), Heft 2, S. 13-15Online serialPeriodicalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff: