Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 40 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 40 Treffer
- computer science 38 Treffer
- 01 natural sciences 31 Treffer
- 020207 software engineering 29 Treffer
-
45 weitere Werte:
- proof assistant 28 Treffer
- 0102 computer and information sciences 26 Treffer
- 010201 computation theory & mathematics 26 Treffer
- computer 23 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 23 Treffer
- computer.software_genre 22 Treffer
- programming language 22 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 20 Treffer
- 020201 artificial intelligence & image processing 18 Treffer
- fos: computer and information sciences 16 Treffer
- mathematical proof 16 Treffer
- computer science - logic in computer science 15 Treffer
- logic in computer science (cs.lo) 15 Treffer
- coq 13 Treffer
- mathematics 13 Treffer
- software 13 Treffer
- computational theory and mathematics 10 Treffer
- general computer science 10 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 9 Treffer
- computer science::logic in computer science 9 Treffer
- correctness 9 Treffer
- formal proof 9 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- business 7 Treffer
- business.industry 7 Treffer
- 020204 information systems 6 Treffer
- automated theorem proving 6 Treffer
- computation 6 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 5 Treffer
- 0101 mathematics 5 Treffer
- algorithm 5 Treffer
- artificial intelligence 5 Treffer
- computer.programming_language 5 Treffer
- computingmilieux_miscellaneous 5 Treffer
- floating point 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- 16. peace & justice 4 Treffer
- computer science - programming languages 4 Treffer
- computer science::mathematical software 4 Treffer
- computer science::programming languages 4 Treffer
- distributed computing 4 Treffer
- formal verification 4 Treffer
- gas meter prover 4 Treffer
- hardware and architecture 4 Treffer
Verlag
Publikation
Sprache
50 Treffer
-
2021Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 12 (2016-06-22)Online unknownZugriff:
-
2016Online unknownZugriff:
-
2009Online unknownZugriff: