Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- discrete mathematics 13 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 13 Treffer
- computer science::logic in computer science 12 Treffer
- proof assistant 12 Treffer
- 02 engineering and technology 10 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 10 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 10 Treffer
- 01 natural sciences 7 Treffer
- mathematical proof 7 Treffer
- algebra 6 Treffer
- computer 6 Treffer
- pure mathematics 6 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- 0101 mathematics 5 Treffer
- 020201 artificial intelligence & image processing 5 Treffer
- calculus 5 Treffer
- computer science::programming languages 5 Treffer
- computer.software_genre 5 Treffer
- programming language 5 Treffer
- 010102 general mathematics 4 Treffer
- 020207 software engineering 4 Treffer
- 16. peace & justice 4 Treffer
- coq 4 Treffer
- decidability 4 Treffer
- development (topology) 4 Treffer
- formal proof 4 Treffer
- 020204 information systems 3 Treffer
- algorithm 3 Treffer
- correctness 3 Treffer
- embedding 3 Treffer
- formal verification 3 Treffer
- intuitionistic type theory 3 Treffer
- media_common 3 Treffer
- media_common.quotation_subject 3 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- arbitrary-precision arithmetic 2 Treffer
- arithmetic 2 Treffer
- automated theorem proving 2 Treffer
- axiom 2 Treffer
- coinduction 2 Treffer
- computer science::mathematical software 2 Treffer
- computer.programming_language 2 Treffer
- computer-assisted proof 2 Treffer
- constructive 2 Treffer
- contradiction 2 Treffer
- dependent type theory 2 Treffer
- haskell 2 Treffer
- law of excluded middle 2 Treffer
- linear arithmetic 2 Treffer
29 Treffer
-
2016Online unknownZugriff:
-
2015Online unknownZugriff: