Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- software 13 Treffer
- artificial intelligence 12 Treffer
- computer science 11 Treffer
- mathematical proof 8 Treffer
- theoretical computer science 8 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 8 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 8 Treffer
- 020207 software engineering 7 Treffer
- proof assistant 7 Treffer
- 020201 artificial intelligence & image processing 6 Treffer
- mathematics 6 Treffer
- computer science::logic in computer science 5 Treffer
- correctness 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- calculus 3 Treffer
- computer 3 Treffer
- fos: computer and information sciences 3 Treffer
- hol 3 Treffer
- [info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 2 Treffer
- 020204 information systems 2 Treffer
- 16. peace & justice 2 Treffer
- abstract syntax 2 Treffer
- algorithm 2 Treffer
- coinduction 2 Treffer
- computer science applications 2 Treffer
- computer science::programming languages 2 Treffer
- computer.programming_language 2 Treffer
- computer.software_genre 2 Treffer
- coq 2 Treffer
- decidability 2 Treffer
- discrete mathematics 2 Treffer
- formal methods 2 Treffer
- functional programming 2 Treffer
- information systems 2 Treffer
- intuitionistic type theory 2 Treffer
- logic 2 Treffer
- process (engineering) 2 Treffer
- programming language 2 Treffer
- reuse 2 Treffer
- semantics (computer science) 2 Treffer
- set theory 2 Treffer
- soundness 2 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 1 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- [info.info-es]computer science [cs]/embedded systems 1 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 1 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 1 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 1 Treffer
Verlag
Publikation
16 Treffer
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 65 (2020-09-14), S. 75-124Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-19), S. 393-413Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 120 (2021-04-01), S. 100642-100642Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 58 (2016-04-29), S. 209-230Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 64 (2020-01-06), S. 1123-1164Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-27), S. 695-722Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-11), S. 415-438Online unknownZugriff:
-
In: Theory of Computing Systems, Jg. 63 (2018-01-02), S. 200-218Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2017-12-20), S. 33-71Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 56 (2016-02-25), S. 343-365Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 48 (2010-08-07), S. 43-105Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 29 (2002), S. 225-252Online unknownZugriff: