Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 22 Treffer
- 0102 computer and information sciences 22 Treffer
- 010201 computation theory & mathematics 22 Treffer
- computer science 22 Treffer
- computer 17 Treffer
-
45 weitere Werte:
- computer.software_genre 16 Treffer
- programming language 16 Treffer
- proof assistant 15 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 12 Treffer
- theoretical computer science 11 Treffer
- correctness 10 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 10 Treffer
- algebra 8 Treffer
- mathematics 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- computer science::logic in computer science 6 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 5 Treffer
- automated theorem proving 5 Treffer
- dependent type 5 Treffer
- formal verification 5 Treffer
- mathematical proof 5 Treffer
- business 4 Treffer
- business.industry 4 Treffer
- computer science::programming languages 4 Treffer
- computer.programming_language 4 Treffer
- soundness 4 Treffer
- [info]computer science [cs] 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- 020204 information systems 3 Treffer
- coq 3 Treffer
- discrete mathematics 3 Treffer
- formal methods 3 Treffer
- fos: computer and information sciences 3 Treffer
- regular expression 3 Treffer
- separation logic 3 Treffer
- static analysis 3 Treffer
- type theory 3 Treffer
- [info.info-es]computer science [cs]/embedded systems 2 Treffer
- 16. peace & justice 2 Treffer
- abstract interpretation 2 Treffer
- algebraic structure 2 Treffer
- algorithm 2 Treffer
- artificial intelligence 2 Treffer
- axiom 2 Treffer
- bytecode 2 Treffer
- calculus 2 Treffer
- certification 2 Treffer
- combinatory logic 2 Treffer
- computer science - logic in computer science 2 Treffer
- computer science - programming languages 2 Treffer
Sprache
29 Treffer
-
2007Online unknownZugriff:
-
2009Online unknownZugriff:
-
2015Online unknownZugriff: