Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 128 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 122 Treffer
- computer science 116 Treffer
- 02 engineering and technology 84 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 83 Treffer
-
45 weitere Werte:
- computer science - programming languages 79 Treffer
- programming languages (cs.pl) 79 Treffer
- computer 77 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 76 Treffer
- computer.software_genre 70 Treffer
- 01 natural sciences 68 Treffer
- proof assistant 64 Treffer
- programming language 63 Treffer
- 0102 computer and information sciences 61 Treffer
- 010201 computation theory & mathematics 61 Treffer
- 020207 software engineering 59 Treffer
- computer science::logic in computer science 53 Treffer
- fos: mathematics 50 Treffer
- theoretical computer science 46 Treffer
- mathematical proof 45 Treffer
- coq 42 Treffer
- lcsh:electronic computers. computer science 39 Treffer
- lcsh:qa75.5-76.95 39 Treffer
- lcsh:mathematics 35 Treffer
- lcsh:qa1-939 35 Treffer
- f.4.1 33 Treffer
- computer science::programming languages 32 Treffer
- 020201 artificial intelligence & image processing 31 Treffer
- software 28 Treffer
- general computer science 26 Treffer
- mathematics 24 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 22 Treffer
- correctness 22 Treffer
- logic (math.lo) 20 Treffer
- mathematics - logic 20 Treffer
- algebra 19 Treffer
- artificial intelligence 19 Treffer
- business 19 Treffer
- business.industry 19 Treffer
- artificial intelligence (cs.ai) 18 Treffer
- computer science - artificial intelligence 18 Treffer
- computer.programming_language 18 Treffer
- semantics (computer science) 18 Treffer
- type theory 18 Treffer
- computational theory and mathematics 17 Treffer
- 16. peace & justice 16 Treffer
- 0101 mathematics 15 Treffer
- 020204 information systems 15 Treffer
- f.3.1 15 Treffer
- soundness 15 Treffer
Verlag
- arxiv 96 Treffer
- hal ccsd 48 Treffer
- open publishing association 18 Treffer
- episciences.org 5 Treffer
- acm 4 Treffer
-
21 weitere Werte:
- ieee 4 Treffer
- springer international publishing 4 Treffer
- association for computing machinery (acm) 3 Treffer
- centre pour la communication scientifique directe (ccsd) 3 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 3 Treffer
- springer berlin heidelberg 3 Treffer
- springer science and business media llc 3 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 2 Treffer
- association for computing machinery 1 Treffer
- association for computing machinery, inc 1 Treffer
- cambridge university press (cup) 1 Treffer
- cham : springer international publishing 1 Treffer
- easychair 1 Treffer
- elsevier bv 1 Treffer
- ios press 1 Treffer
- oxford university press (oup) 1 Treffer
- schloss dagstuhl - leibniz-zentrum f��r informatik 1 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 1 Treffer
- springer 1 Treffer
- springer netherlands 1 Treffer
- university of bologna 1 Treffer
Publikation
- electronic proceedings in theoretical computer science 20 Treffer
- journal of automated reasoning 5 Treffer
- logical methods in computer science 3 Treffer
- mathematical structures in computer science 2 Treffer
- 2016 ieee congress on evolutionary computation (cec) 1 Treffer
-
10 weitere Werte:
- 2018 ivannikov ispras open conference (ispras) 1 Treffer
- 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
- fundamenta informaticae 1 Treffer
- journal of computational and applied mathematics 1 Treffer
- kalpa publications in computing 1 Treffer
- proceedings of the 37th annual acm/ieee symposium on logic in computer science 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
- the computer journal 1 Treffer
Sprache
314 Treffer
-
In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023-01-11Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
2022Online unknownZugriff: