Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 13 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 13 Treffer
- 020207 software engineering 10 Treffer
- computer science 10 Treffer
- computer 7 Treffer
-
45 weitere Werte:
- computer.software_genre 7 Treffer
- programming language 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- mathematics 6 Treffer
- proof assistant 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 6 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- software 4 Treffer
- theoretical computer science 4 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- artificial intelligence 3 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- computer science - logic in computer science 3 Treffer
- correctness 3 Treffer
- formal proof 3 Treffer
- formalization 3 Treffer
- fos: computer and information sciences 3 Treffer
- logic in computer science (cs.lo) 3 Treffer
- program verification 3 Treffer
- semantics (computer science) 3 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 2 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- algebra 2 Treffer
- asynchronous communication 2 Treffer
- automation 2 Treffer
- calculus 2 Treffer
- calculus of inductive constructions 2 Treffer
- computational theory and mathematics 2 Treffer
- computer science - programming languages 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- digital subscriber line 2 Treffer
- formal verification 2 Treffer
- monads 2 Treffer
- programming languages (cs.pl) 2 Treffer
- property (programming) 2 Treffer
- pure mathematics 2 Treffer
- real number 2 Treffer
- science & technology 2 Treffer
- type inference 2 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 1 Treffer
Verlag
Publikation
- journal of automated reasoning 2 Treffer
- electronic notes in theoretical computer science 1 Treffer
- journal of functional programming 1 Treffer
- mathematics 1 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 1 Treffer
- Ein weiterer Wert:
15 Treffer
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
In: Mathematics, Jg. 9 (2021-06-14), S. 1377-1377Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 344 (2019-08-01), S. 151-167Online unknownZugriff:
-
In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021-06-18Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 58 (2016-04-29), S. 209-230Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 27 (2017)Online unknownZugriff:
-
In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017, 2017Online unknownZugriff:
-
2009Online unknownZugriff: