Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 12 Treffer
- 0102 computer and information sciences 9 Treffer
- 010201 computation theory & mathematics 9 Treffer
- proof assistant 7 Treffer
- 02 engineering and technology 6 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 6 Treffer
- calculus 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 6 Treffer
- computer 5 Treffer
- computer science::logic in computer science 5 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 5 Treffer
- intuitionistic type theory 4 Treffer
- mathematics 4 Treffer
- theoretical computer science 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- 020207 software engineering 3 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- computer science - logic in computer science 3 Treffer
- computer science::programming languages 3 Treffer
- computer.software_genre 3 Treffer
- mathematicsofcomputing_discretemathematics 3 Treffer
- programming language 3 Treffer
- type theory 3 Treffer
- algorithm 2 Treffer
- bisimulation 2 Treffer
- coinduction 2 Treffer
- computer.programming_language 2 Treffer
- constructive 2 Treffer
- dependent type theory 2 Treffer
- discrete mathematics 2 Treffer
- embedding 2 Treffer
- formal verification 2 Treffer
- fos: computer and information sciences 2 Treffer
- intuitionistic logic 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- mathematical proof 2 Treffer
- mathematics::logic 2 Treffer
- proof search 2 Treffer
- pure mathematics 2 Treffer
- sequent calculus 2 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 1 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 1 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [math.math-co] mathematics [math]/combinatorics [math.co] 1 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 1 Treffer
- [math.math-oc] mathematics [math]/optimization and control [math.oc] 1 Treffer
- [math.math-oc]mathematics [math]/optimization and control [math.oc] 1 Treffer
- 06 humanities and the arts 1 Treffer
Sprache
16 Treffer
-
2016Online unknownZugriff:
-
2016Online unknownZugriff:
-
2020Online unknownZugriff:
-
2016Online unknownZugriff: