Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 33 Treffer
- 020207 software engineering 29 Treffer
- 01 natural sciences 27 Treffer
- 0102 computer and information sciences 23 Treffer
- 010201 computation theory & mathematics 23 Treffer
-
45 weitere Werte:
- proof assistant 22 Treffer
- computer 19 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 19 Treffer
- 020201 artificial intelligence & image processing 18 Treffer
- computer.software_genre 18 Treffer
- programming language 18 Treffer
- mathematical proof 15 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 14 Treffer
- software 13 Treffer
- fos: computer and information sciences 11 Treffer
- computational theory and mathematics 10 Treffer
- computer science - logic in computer science 10 Treffer
- coq 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- mathematics 9 Treffer
- formal proof 8 Treffer
- correctness 7 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 6 Treffer
- 020204 information systems 6 Treffer
- business 6 Treffer
- business.industry 6 Treffer
- computer science::logic in computer science 6 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 5 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- algorithm 5 Treffer
- artificial intelligence 5 Treffer
- automated theorem proving 5 Treffer
- computation 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- 16. peace & justice 4 Treffer
- computer science - programming languages 4 Treffer
- computer.programming_language 4 Treffer
- computingmilieux_miscellaneous 4 Treffer
- distributed computing 4 Treffer
- floating point 4 Treffer
- gas meter prover 4 Treffer
- general computer science 4 Treffer
- hardware and architecture 4 Treffer
- programming languages (cs.pl) 4 Treffer
- proof complexity 4 Treffer
- symbolic computation 4 Treffer
- [info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 3 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 3 Treffer
- 0101 mathematics 3 Treffer
- 010103 numerical & computational mathematics 3 Treffer
Verlag
Publikation
Sprache
40 Treffer
-
2021Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 12 (2016-06-22)Online unknownZugriff:
-
2016Online unknownZugriff:
-
2009Online unknownZugriff:
-
2014Online unknownZugriff:
-
2009Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, , S. 43-55Online unknownZugriff: