Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 21 Treffer
- 020207 software engineering 20 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 19 Treffer
- 01 natural sciences 17 Treffer
- 0102 computer and information sciences 16 Treffer
-
45 weitere Werte:
- 010201 computation theory & mathematics 16 Treffer
- computer 15 Treffer
- computer.software_genre 15 Treffer
- programming language 15 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- mathematical proof 10 Treffer
- artificial intelligence 9 Treffer
- computational theory and mathematics 9 Treffer
- theoretical computer science 9 Treffer
- 020201 artificial intelligence & image processing 8 Treffer
- computer science::logic in computer science 8 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- coq 7 Treffer
- semantics (computer science) 7 Treffer
- safety, risk, reliability and quality 6 Treffer
- calculus 5 Treffer
- 020204 information systems 4 Treffer
- business 4 Treffer
- business.industry 4 Treffer
- computer.programming_language 4 Treffer
- interactive theorem proving 4 Treffer
- mathematics 4 Treffer
- [info]computer science [cs] 3 Treffer
- automated theorem proving 3 Treffer
- computer science - logic in computer science 3 Treffer
- computer science::programming languages 3 Treffer
- discrete mathematics 3 Treffer
- fos: computer and information sciences 3 Treffer
- logic in computer science (cs.lo) 3 Treffer
- separation logic 3 Treffer
- set (abstract data type) 3 Treffer
- soundness 3 Treffer
- system f 3 Treffer
- type theory 3 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 16. peace & justice 2 Treffer
- abstract syntax 2 Treffer
- agda 2 Treffer
- axiom 2 Treffer
- calculus of constructions 2 Treffer
- calculus of inductive constructions 2 Treffer
- coinduction 2 Treffer
- computer graphics and computer-aided design 2 Treffer
Verlag
Publikation
- journal of automated reasoning 4 Treffer
- proceedings of the acm on programming languages 3 Treffer
- acm transactions on programming languages and systems 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- 2 weitere Werte:
Sprache
24 Treffer
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 27 (2017)Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, , S. 43-55Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-31Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-27), S. 695-722Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-29Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 58 (2017-03-01), Heft 3, S. 341-362Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 42 (2019-11-21), S. 1-79Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff: