Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 31 Treffer
- computer.software_genre 29 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 28 Treffer
- programming language 26 Treffer
- 02 engineering and technology 25 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 25 Treffer
- proof assistant 24 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 24 Treffer
- mathematical proof 22 Treffer
- 01 natural sciences 20 Treffer
- 0102 computer and information sciences 18 Treffer
- 010201 computation theory & mathematics 18 Treffer
- 020207 software engineering 16 Treffer
- computer science - programming languages 15 Treffer
- programming languages (cs.pl) 15 Treffer
- theoretical computer science 15 Treffer
- lcsh:electronic computers. computer science 14 Treffer
- lcsh:mathematics 14 Treffer
- lcsh:qa1-939 14 Treffer
- lcsh:qa75.5-76.95 14 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- 020201 artificial intelligence & image processing 9 Treffer
- computer science::programming languages 9 Treffer
- semantics (computer science) 9 Treffer
- computer science::logic in computer science 8 Treffer
- correctness 8 Treffer
- general computer science 8 Treffer
- software 8 Treffer
- 020204 information systems 7 Treffer
- business 7 Treffer
- business.industry 7 Treffer
- computer.programming_language 7 Treffer
- soundness 7 Treffer
- type theory 7 Treffer
- calculus 6 Treffer
- f.4.1 6 Treffer
- formal verification 6 Treffer
- set (abstract data type) 6 Treffer
- 0101 mathematics 5 Treffer
- 010102 general mathematics 5 Treffer
- algebra 5 Treffer
- artificial intelligence 5 Treffer
- automated theorem proving 5 Treffer
- context (language use) 5 Treffer
- simple (abstract algebra) 5 Treffer
- 16. peace & justice 4 Treffer
- coinduction 4 Treffer
- coq 4 Treffer
- d.2.4 4 Treffer
- development (topology) 4 Treffer
Verlag
Publikation
- electronic proceedings in theoretical computer science 9 Treffer
- journal of automated reasoning 2 Treffer
- logical methods in computer science 2 Treffer
- 2016 ieee congress on evolutionary computation (cec) 1 Treffer
- 2018 ivannikov ispras open conference (ispras) 1 Treffer
-
5 weitere Werte:
- 2020 26th ieee international symposium on asynchronous circuits and systems (async) 1 Treffer
- acm transactions on computational logic 1 Treffer
- annals of mathematics and artificial intelligence 1 Treffer
- mathematical structures in computer science 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
51 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021-06-01Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-06-22), S. 967-1002Online unknownZugriff:
-
In: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020-05-01Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 230 (2016-11-26), S. 63-75Online unknownZugriff:
-
In: 2018 Ivannikov Ispras Open Conference (ISPRAS), 2018-11-01Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 211 (2016-06-17), S. 13-24Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 197 (2015-11-08), S. 15-28Online unknownZugriff:
-
In: 2016 IEEE Congress on Evolutionary Computation (CEC), 2016-07-01Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 118 (2013-07-05), S. 42-56Online unknownZugriff: