Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 20 Treffer
- computer 17 Treffer
- 01 natural sciences 16 Treffer
- 0102 computer and information sciences 16 Treffer
- 010201 computation theory & mathematics 16 Treffer
-
45 weitere Werte:
- computer.software_genre 15 Treffer
- programming language 14 Treffer
- proof assistant 10 Treffer
- theoretical computer science 9 Treffer
- 020201 artificial intelligence & image processing 8 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- software 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- 020204 information systems 6 Treffer
- computer.programming_language 6 Treffer
- coq 6 Treffer
- correctness 6 Treffer
- mathematical proof 6 Treffer
- computer science::programming languages 5 Treffer
- separation logic 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- business 4 Treffer
- business.industry 4 Treffer
- computingmilieux_miscellaneous 4 Treffer
- formal verification 4 Treffer
- lcsh:electronic computers. computer science 4 Treffer
- lcsh:mathematics 4 Treffer
- lcsh:qa1-939 4 Treffer
- lcsh:qa75.5-76.95 4 Treffer
- soundness 4 Treffer
- artificial intelligence 3 Treffer
- automated theorem proving 3 Treffer
- computational theory and mathematics 3 Treffer
- computer science::logic in computer science 3 Treffer
- concurrency 3 Treffer
- context (language use) 3 Treffer
- general computer science 3 Treffer
- software engineering 3 Treffer
- syntax (programming languages) 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- [math]mathematics [math] 2 Treffer
- 020206 networking & telecommunications 2 Treffer
- 05 social sciences 2 Treffer
- 16. peace & justice 2 Treffer
- abstract syntax 2 Treffer
- algebra 2 Treffer
- bisimulation 2 Treffer
- blockchain 2 Treffer
- calculus 2 Treffer
Verlag
Publikation
Sprache
25 Treffer
-
In: Journal of Automated Reasoning, Jg. 57 (2016-05-01), Heft 4, S. 319-387Online unknownZugriff:
-
2009Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 239 (2017), S. 15-27Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff: