Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 115 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 88 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 81 Treffer
- proof assistant 71 Treffer
- mathematical proof 62 Treffer
-
45 weitere Werte:
- 02 engineering and technology 60 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 57 Treffer
- 01 natural sciences 53 Treffer
- mathematics 52 Treffer
- coq 48 Treffer
- 0102 computer and information sciences 43 Treffer
- 010201 computation theory & mathematics 43 Treffer
- computer 37 Treffer
- 020207 software engineering 34 Treffer
- computer science::logic in computer science 31 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 29 Treffer
- type theory 29 Treffer
- software 27 Treffer
- 020201 artificial intelligence & image processing 25 Treffer
- automated theorem proving 23 Treffer
- calculus of constructions 22 Treffer
- computer.programming_language 22 Treffer
- soundness 22 Treffer
- computing and processing 21 Treffer
- lambda calculus 20 Treffer
- theoretical computer science 19 Treffer
- computer.software_genre 18 Treffer
- discrete mathematics 18 Treffer
- computer science::programming languages 17 Treffer
- formal verification 17 Treffer
- programming language 17 Treffer
- 0101 mathematics 16 Treffer
- formal proof 16 Treffer
- proof theory 16 Treffer
- 010102 general mathematics 15 Treffer
- decidability 14 Treffer
- fos: computer and information sciences 14 Treffer
- programming languages 14 Treffer
- semantics 14 Treffer
- 020204 information systems 13 Treffer
- coinduction 13 Treffer
- correctness 13 Treffer
- formalization 13 Treffer
- artificial intelligence 12 Treffer
- bisimulation 12 Treffer
- 16. peace & justice 11 Treffer
- algorithm 11 Treffer
- axiom 11 Treffer
- computational theory and mathematics 11 Treffer
- computer science - logic in computer science 11 Treffer
Verlag
- springer berlin heidelberg 38 Treffer
- ieee 32 Treffer
- hal ccsd 26 Treffer
- elsevier b.v. 17 Treffer
- acm 16 Treffer
-
36 weitere Werte:
- cambridge university press 14 Treffer
- springer international publishing 11 Treffer
- association for computing machinery 9 Treffer
- association for computing machinery (acm) 8 Treffer
- springer nature 8 Treffer
- ios press 6 Treffer
- elsevier bv 5 Treffer
- cambridge university press (cup) 4 Treffer
- mdpi 4 Treffer
- mdpi ag 4 Treffer
- springer 4 Treffer
- springer science and business media llc 4 Treffer
- cambridge univ press 2 Treffer
- logical methods in computer science 2 Treffer
- open publishing association 2 Treffer
- scientific annals of computer science 2 Treffer
- academic press inc elsevier science 1 Treffer
- arxiv 1 Treffer
- assoc computing machinery 1 Treffer
- berlin : springer 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- easychair 1 Treffer
- elsevier science inc 1 Treffer
- ieice 1 Treffer
- igi global 1 Treffer
- institute for system programming of the russian academy of sciences 1 Treffer
- multidisciplinary digital publishing institute 1 Treffer
- oxford university press (oup) 1 Treffer
- science china press., co. ltd. 1 Treffer
- scientific research publishing, inc. 1 Treffer
- springer netherlands 1 Treffer
- springer verlag 1 Treffer
- springer-verlag 1 Treffer
- tech univ braunschweig 1 Treffer
- technical committee on control theory, caa 1 Treffer
- tk meganom llc 1 Treffer
Publikation
- journal of functional programming 14 Treffer
- acm transactions on programming languages & systems 8 Treffer
- journal of automated reasoning 8 Treffer
- mathematical structures in computer science 8 Treffer
- entcs: electronic notes in theoretical computer science 6 Treffer
-
45 weitere Werte:
- fundamenta informaticae 6 Treffer
- science of computer programming 5 Treffer
- electronic notes in theoretical computer science 4 Treffer
- mathematics 4 Treffer
- acta informatica 3 Treffer
- proceedings of the acm on programming languages 3 Treffer
- theoretical computer science 3 Treffer
- 2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on 2 Treffer
- 2019 chinese automation congress (cac) 2 Treffer
- acm sigplan notices 2 Treffer
- computational geometry 2 Treffer
- electronic proceedings in theoretical computer science 2 Treffer
- formal aspects of computing 2 Treffer
- logical methods in computer science 2 Treffer
- logical methods in computer science (lmcs) 2 Treffer
- mathematics (2227-7390) 2 Treffer
- pattern recognition 2 Treffer
- scientific annals of computer science 2 Treffer
- 2006 international symposium on computer networks, computer networks, 2006 international symposium on, computer networks 1 Treffer
- 2009 international conference of the chilean computer science society, chilean computer science society (sccc), 2009 international conference of the 1 Treffer
- 2010 10th international conference on quality software, quality software (qsic), 2010 10th international conference on 1 Treffer
- 2010 25th annual ieee symposium on logic in computer science, logic in computer science (lics), 2010 25th annual ieee symposium on 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science, logic in computer science (lics), 2013 28th annual ieee/acm symposium on 1 Treffer
- 2013 first international symposium on computing & networking 1 Treffer
- 2013 first international symposium on computing and networking, computing and networking (candar), 2013 first international symposium on 1 Treffer
- 2014 16th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2014 16th international symposium on 1 Treffer
- 2015 13th annual conference on privacy, security and trust (pst), privacy, security and trust (pst), 2015 13th annual conference on 1 Treffer
- 2015 first international conference on new technologies of information and communication (ntic), new technologies of information and communication (ntic), 2015 first international conference on 1 Treffer
- 2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on 1 Treffer
- 2016 international symposium on information theory and its applications (isita), information theory and its applications (isita), 2016 international symposium on 1 Treffer
- 2017 36th chinese control conference (ccc) 1 Treffer
- 2017 36th chinese control conference (ccc), control conference (ccc), 2017 36th chinese 1 Treffer
- 2017 ieee european symposium on security and privacy workshops (euros&pw), security and privacy workshops (euros&pw), 2017 ieee european symposium on, euros-pw 1 Treffer
- 2018 ieee first international conference on system analysis & intelligent computing (saic), system analysis & intelligent computing (saic), 2018 ieee first international conference on 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) 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
- acm transactions on software engineering and methodology 1 Treffer
- axioms 1 Treffer
- formal methods in system design 1 Treffer
- information and computation 1 Treffer
- journal of logic and algebraic programming 1 Treffer
- studia logica 1 Treffer
Sprache
253 Treffer
-
In: 2023 China Automation Congress (CAC), 2023-11-17, S. 6683-6687KonferenzZugriff:
-
In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1510-1514KonferenzZugriff:
-
In: 2018 IEEE First International Conference on System Analysis & Intelligent Computing (SAIC), 2018-10-01, S. 1-6KonferenzZugriff:
-
In: 2017 36th Chinese Control Conference (CCC), 2017-07-01, S. 9871-9878KonferenzZugriff:
-
In: 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014-09-01, S. 180-185KonferenzZugriff:
-
In: 2013 First International Symposium on Computing and Networking, 2013-12-01, S. 57-65KonferenzZugriff:
-
In: 2015 First International Conference on New Technologies of Information and Communication (NTIC), 2015-11-01, S. 1-6KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
In: Mathematics, Jg. 9 (2021-06-01), Heft 12, S. 1377-1377Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 66 (2022-05-01), Heft 2, S. 175-213Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: IEEE Access, Jg. 8 (2020), S. 21510-21523Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 65 (2021), Heft 1, S. 75-124Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online 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 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff: