Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 0102 computer and information sciences 4 Treffer
- 010201 computation theory & mathematics 4 Treffer
- proof assistant 4 Treffer
- calculus 3 Treffer
- 02 engineering and technology 2 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computer 2 Treffer
- computer.software_genre 2 Treffer
- intuitionistic logic 2 Treffer
- programming language 2 Treffer
- sequent calculus 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020207 software engineering 1 Treffer
- artificial intelligence 1 Treffer
- automation 1 Treffer
- completeness (order theory) 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::mathematical software 1 Treffer
- computer science::programming languages 1 Treffer
- computer.file_format 1 Treffer
- constructive 1 Treffer
- context-free grammar 1 Treffer
- decision problem 1 Treffer
- dependent type theory 1 Treffer
- direct search 1 Treffer
- embedding 1 Treffer
- executable 1 Treffer
- first-order logic 1 Treffer
- game semantics 1 Treffer
- halting problem 1 Treffer
- implementation 1 Treffer
- intuitionistic type theory 1 Treffer
- linear logic 1 Treffer
- logical frameworks 1 Treffer
- mathematical logic 1 Treffer
- mathematical proof 1 Treffer
- modal 1 Treffer
- natural deduction 1 Treffer
- post correspondence problem 1 Treffer
- proof search 1 Treffer
- proof theory 1 Treffer
- proposition 1 Treffer
- propositional calculus 1 Treffer
- reduction (complexity) 1 Treffer
- refinement calculus 1 Treffer
- relation (database) 1 Treffer
Sprache
6 Treffer
-
2016Online unknownZugriff: