Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 2 Treffer
- computer graphics and computer-aided design 2 Treffer
- computer.software_genre 2 Treffer
- coq 2 Treffer
- programming language 2 Treffer
-
45 weitere Werte:
- software 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 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
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- 020206 networking & telecommunications 1 Treffer
- agda 1 Treffer
- algorithm 1 Treffer
- blockchain 1 Treffer
- bunched logic 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- calculus 1 Treffer
- computational logic 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science - programming languages 1 Treffer
- computer.programming_language 1 Treffer
- concurrency 1 Treffer
- context (language use) 1 Treffer
- dependent types 1 Treffer
- description logic 1 Treffer
- direct proof 1 Treffer
- dynamic logic (modal logic) 1 Treffer
- equivalence (formal languages) 1 Treffer
- escrow 1 Treffer
- first-order logic 1 Treffer
- formal verification 1 Treffer
- fos: computer and information sciences 1 Treffer
- functional programming 1 Treffer
- higher-order logic 1 Treffer
- idris 1 Treffer
- impredicativity 1 Treffer
- inductive 1 Treffer
- interactive theorem proving 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- logical relations 1 Treffer
- mathematical proof 1 Treffer
- multimodal logic 1 Treffer
- operational semantics 1 Treffer
- order (business) 1 Treffer
- pattern matching 1 Treffer