Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- theoryofcomputation_mathematicallogicandformallanguages 63 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 58 Treffer
- mathematical proof 50 Treffer
- proof assistant 47 Treffer
- 02 engineering and technology 45 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 44 Treffer
- 01 natural sciences 35 Treffer
- 0102 computer and information sciences 31 Treffer
- 010201 computation theory & mathematics 31 Treffer
- computer 31 Treffer
- 020207 software engineering 28 Treffer
- computer science::logic in computer science 22 Treffer
- software 22 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 21 Treffer
- type theory 21 Treffer
- soundness 20 Treffer
- computer.programming_language 18 Treffer
- 020201 artificial intelligence & image processing 17 Treffer
- automated theorem proving 15 Treffer
- computer.software_genre 15 Treffer
- coq 14 Treffer
- programming language 14 Treffer
- 020204 information systems 13 Treffer
- fos: computer and information sciences 13 Treffer
- theoretical computer science 13 Treffer
- computer science::programming languages 12 Treffer
- correctness 12 Treffer
- lambda calculus 12 Treffer
- calculus of constructions 11 Treffer
- algorithm 10 Treffer
- artificial intelligence 10 Treffer
- coinduction 10 Treffer
- computer science - logic in computer science 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- 0101 mathematics 9 Treffer
- decidability 9 Treffer
- formal verification 9 Treffer
- 010102 general mathematics 8 Treffer
- axiom 8 Treffer
- intuitionistic type theory 8 Treffer
- proof theory 8 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- 16. peace & justice 7 Treffer
- business 7 Treffer
- business.industry 7 Treffer
- general computer science 7 Treffer
- inductive type 7 Treffer
- natural deduction 7 Treffer
- semantics (computer science) 7 Treffer
- simple (abstract algebra) 7 Treffer
Verlag
- springer berlin heidelberg 24 Treffer
- hal ccsd 19 Treffer
- acm 12 Treffer
- ieee 12 Treffer
- association for computing machinery (acm) 8 Treffer
-
19 weitere Werte:
- springer international publishing 6 Treffer
- elsevier bv 4 Treffer
- cambridge university press (cup) 2 Treffer
- open publishing association 2 Treffer
- springer science and business media llc 2 Treffer
- arxiv 1 Treffer
- association for computing machinery 1 Treffer
- berlin : springer 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- easychair 1 Treffer
- elsevier b.v. 1 Treffer
- institute for system programming of the russian academy of sciences 1 Treffer
- mdpi ag 1 Treffer
- scientific research publishing, inc. 1 Treffer
- springer 1 Treffer
- springer netherlands 1 Treffer
- springer verlag 1 Treffer
- springer-verlag 1 Treffer
- tk meganom llc 1 Treffer
Publikation
- journal of functional programming 3 Treffer
- proceedings of the acm on programming languages 3 Treffer
- acm sigplan notices 2 Treffer
- electronic notes in theoretical computer science 2 Treffer
- electronic proceedings in theoretical computer science 2 Treffer
-
30 weitere Werte:
- 2009 international conference of the chilean computer science society, chilean computer science society (sccc), 2009 international conference of the 1 Treffer
- 2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on 1 Treffer
- 2019 chinese automation congress (cac) 1 Treffer
- 2020 26th ieee international symposium on asynchronous circuits and systems (async) 1 Treffer
- 2020 ieee international conference on advances in electrical engineering and computer applications( aeeca), advances in electrical engineering and computer applications( aeeca), 2020 ieee international conference on 1 Treffer
- 2021 36th annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- 2021 36th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2021 36th annual acm/ieee symposium on 1 Treffer
- 2023 9th international conference on computer and communications (iccc), computer and communications (iccc), 2023 9th international conference on 1 Treffer
- 2023 china automation congress (cac), automation congress (cac), 2023 china 1 Treffer
- acm sigapp applied computing review 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- annals of mathematics and artificial intelligence 1 Treffer
- entcs: electronic notes in theoretical computer science 1 Treffer
- epic series in computing 1 Treffer
- formal aspects of computing 1 Treffer
- ieee access 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of quantum information science 1 Treffer
- journal of the acm 1 Treffer
- journal of the brazilian computer society 1 Treffer
- logical methods in computer science 1 Treffer
- mathematical structures in computer science 1 Treffer
- mathematics 1 Treffer
- paradigm of knowledge 1 Treffer
- proceedings of the 33rd annual acm symposium on applied computing 1 Treffer
- proceedings of the institute for system programming of the ras 1 Treffer
- proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- programming languages and systems 1 Treffer
- science of computer programming 1 Treffer
- theoretical computer science 1 Treffer
Sprache
115 Treffer
-
In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1510-1514KonferenzZugriff:
-
In: 2023 China Automation Congress (CAC), 2023-11-17, S. 6683-6687KonferenzZugriff:
-
In: IEEE Access, Jg. 8 (2020), S. 21510-21523Online unknownZugriff:
-
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: 2020 IEEE International Conference on Advances in Electrical Engineering and Computer Applications( AEECA), 2020-08-01, S. 982-986KonferenzZugriff:
-
In: Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity, 2020-10-19Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: 2019 Chinese Automation Congress (CAC), 2019-11-01Online unknownZugriff:
-
In: PARADIGM OF KNOWLEDGE, Jg. 2 (2019-04-30)Online unknownZugriff:
-
In: 2018 IEEE First International Conference on System Analysis & Intelligent Computing (SAIC), 2018-10-01Online unknownZugriff:
-
In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019-01-14Online unknownZugriff:
-
2019Online unknownZugriff: