Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 2 Treffer
- computer science - programming languages 2 Treffer
- computer.software_genre 2 Treffer
- extension (predicate logic) 2 Treffer
- programming languages (cs.pl) 2 Treffer
-
45 weitere Werte:
- proof assistant 2 Treffer
- safety, risk, reliability and quality 2 Treffer
- software 2 Treffer
- theoretical computer science 2 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- algebraic topology 1 Treffer
- algebraic topology (math.at) 1 Treffer
- automated theorem proving 1 Treffer
- betti number 1 Treffer
- complex number 1 Treffer
- computational mathematics 1 Treffer
- computer science - emerging technologies 1 Treffer
- computer science::programming languages 1 Treffer
- decidability 1 Treffer
- discrete mathematics 1 Treffer
- emerging technologies (cs.et) 1 Treffer
- formal verification 1 Treffer
- fos: mathematics 1 Treffer
- fos: physical sciences 1 Treffer
- general computer science 1 Treffer
- intersection 1 Treffer
- logic 1 Treffer
- mathematical theory 1 Treffer
- mathematics - algebraic topology 1 Treffer
- modus ponens 1 Treffer
- optical character recognition 1 Treffer
- persistent homology 1 Treffer
- point (geometry) 1 Treffer
- programming language 1 Treffer
- propositional calculus 1 Treffer
- quantum 1 Treffer
- quantum computer 1 Treffer
- quantum physics 1 Treffer
- quantum physics (quant-ph) 1 Treffer
- range (mathematics) 1 Treffer
- resolution (logic) 1 Treffer
- semantics (computer science) 1 Treffer
- simple (abstract algebra) 1 Treffer
- subtyping 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Publikation
Sprache
3 Treffer
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff: