Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 41 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 35 Treffer
- computer science - programming languages 23 Treffer
- programming languages (cs.pl) 23 Treffer
- computer science 22 Treffer
-
45 weitere Werte:
- computer 15 Treffer
- fos: mathematics 15 Treffer
- 02 engineering and technology 14 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 14 Treffer
- computer.software_genre 14 Treffer
- f.4.1 14 Treffer
- computer science::logic in computer science 13 Treffer
- programming language 13 Treffer
- 01 natural sciences 12 Treffer
- 0102 computer and information sciences 11 Treffer
- 010201 computation theory & mathematics 11 Treffer
- mathematical proof 11 Treffer
- computer science::programming languages 10 Treffer
- proof assistant 10 Treffer
- f.3.1 9 Treffer
- 020207 software engineering 8 Treffer
- artificial intelligence (cs.ai) 8 Treffer
- computer science - artificial intelligence 8 Treffer
- coq 7 Treffer
- d.2.4 7 Treffer
- lcsh:electronic computers. computer science 7 Treffer
- lcsh:mathematics 7 Treffer
- lcsh:qa1-939 7 Treffer
- lcsh:qa75.5-76.95 7 Treffer
- logic (math.lo) 7 Treffer
- mathematics - logic 7 Treffer
- theoretical computer science 7 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- business 5 Treffer
- business.industry 5 Treffer
- d.3.1 5 Treffer
- f.3.2 5 Treffer
- software 5 Treffer
- type theory 5 Treffer
- 020204 information systems 4 Treffer
- 16. peace & justice 4 Treffer
- algebra 4 Treffer
- category theory (math.ct) 4 Treffer
- computer.programming_language 4 Treffer
- formal verification 4 Treffer
- general computer science 4 Treffer
- mathematics - category theory 4 Treffer
- soundness 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- [info]computer science [cs] 3 Treffer
Sprache
96 Treffer
-
2021Online unknownZugriff:
-
2020Online unknownZugriff:
-
2016Online unknownZugriff:
-
2013Online unknownZugriff: