Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 70 Treffer
- 02 engineering and technology 69 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 68 Treffer
- computer.software_genre 64 Treffer
- programming language 57 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 56 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 54 Treffer
- proof assistant 51 Treffer
- 020207 software engineering 49 Treffer
- 01 natural sciences 47 Treffer
- 0102 computer and information sciences 42 Treffer
- 010201 computation theory & mathematics 42 Treffer
- mathematical proof 40 Treffer
- computer science - programming languages 38 Treffer
- programming languages (cs.pl) 38 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 37 Treffer
- theoretical computer science 35 Treffer
- lcsh:electronic computers. computer science 31 Treffer
- lcsh:mathematics 31 Treffer
- lcsh:qa1-939 31 Treffer
- lcsh:qa75.5-76.95 31 Treffer
- 020201 artificial intelligence & image processing 26 Treffer
- computer science::logic in computer science 21 Treffer
- business 18 Treffer
- business.industry 18 Treffer
- general computer science 18 Treffer
- software 18 Treffer
- coq 17 Treffer
- correctness 17 Treffer
- computer.programming_language 16 Treffer
- semantics (computer science) 16 Treffer
- computer science::programming languages 14 Treffer
- 020204 information systems 13 Treffer
- 16. peace & justice 13 Treffer
- soundness 13 Treffer
- algebra 12 Treffer
- artificial intelligence 12 Treffer
- automated theorem proving 11 Treffer
- f.4.1 11 Treffer
- formal verification 11 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 10 Treffer
- 000 computer science, knowledge, general works 10 Treffer
- calculus 10 Treffer
- fos: mathematics 10 Treffer
- separation logic 10 Treffer
- type theory 10 Treffer
- certification 9 Treffer
- computational theory and mathematics 9 Treffer
- set (abstract data type) 8 Treffer
- 0101 mathematics 7 Treffer
Verlag
- hal ccsd 26 Treffer
- arxiv 22 Treffer
- open publishing association 16 Treffer
- ieee 4 Treffer
- association for computing machinery (acm) 3 Treffer
-
10 weitere Werte:
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 3 Treffer
- springer international publishing 3 Treffer
- centre pour la communication scientifique directe (ccsd) 2 Treffer
- episciences.org 2 Treffer
- springer science and business media llc 2 Treffer
- acm 1 Treffer
- association for computing machinery 1 Treffer
- cambridge university press (cup) 1 Treffer
- springer berlin heidelberg 1 Treffer
- springer netherlands 1 Treffer
Publikation
- electronic proceedings in theoretical computer science 17 Treffer
- journal of automated reasoning 3 Treffer
- logical methods in computer science 2 Treffer
- mathematical structures in computer science 2 Treffer
- 2016 ieee congress on evolutionary computation (cec) 1 Treffer
-
5 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
- proceedings of the acm on programming languages 1 Treffer
Sprache
116 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, 2019Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 210 (2016-06-01), S. 30-35Online unknownZugriff:
-
2010Online unknownZugriff:
-
2011Online unknownZugriff: