Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 02 engineering and technology 108 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 104 Treffer
- 01 natural sciences 102 Treffer
- 0102 computer and information sciences 98 Treffer
- 010201 computation theory & mathematics 98 Treffer
-
45 weitere Werte:
- 020201 artificial intelligence & image processing 76 Treffer
- theoretical computer science 73 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 46 Treffer
- fos: computer and information sciences 45 Treffer
- computer science - logic in computer science 42 Treffer
- logic in computer science (cs.lo) 40 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 38 Treffer
- computer science::logic in computer science 33 Treffer
- 16. peace & justice 29 Treffer
- 020207 software engineering 28 Treffer
- computer science::formal languages and automata theory 28 Treffer
- [info]computer science [cs] 26 Treffer
- decidability 25 Treffer
- 0101 mathematics 24 Treffer
- 010102 general mathematics 24 Treffer
- computer 23 Treffer
- discrete mathematics 21 Treffer
- 000 computer science, knowledge, general works 20 Treffer
- automaton 20 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 20 Treffer
- general computer science 19 Treffer
- temporal logic 19 Treffer
- complexity 18 Treffer
- algebra 17 Treffer
- reachability 17 Treffer
- software 17 Treffer
- model checking 16 Treffer
- algorithm 15 Treffer
- computer.software_genre 15 Treffer
- computingmilieux_miscellaneous 14 Treffer
- logic 12 Treffer
- mathematics 12 Treffer
- semantics (computer science) 12 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 11 Treffer
- computer science applications 11 Treffer
- information systems 11 Treffer
- petri net 11 Treffer
- programming language 11 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 10 Treffer
- computational theory and mathematics 10 Treffer
- theoryofcomputation_computationbyabstractdevices 10 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 9 Treffer
- bounded function 9 Treffer
- business 9 Treffer
- business.industry 9 Treffer
Verlag
- hal ccsd 80 Treffer
- springer berlin heidelberg 9 Treffer
- arxiv 7 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 5 Treffer
- nature publishing group 4 Treffer
-
14 weitere Werte:
- springer international publishing 4 Treffer
- elsevier bv 3 Treffer
- episciences.org 3 Treffer
- ieee 3 Treffer
- acm 2 Treffer
- open publishing association 2 Treffer
- springer science and business media llc 2 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- elsevier inc. 1 Treffer
- ieee computer society press 1 Treffer
- international joint conferences on artificial intelligence 1 Treffer
- international joint conferences on artificial intelligence organization 1 Treffer
- oxford university press (oup) 1 Treffer
- springer us 1 Treffer
Publikation
- issn: 2041-1723 4 Treffer
- electronic proceedings in theoretical computer science 2 Treffer
- information and computation 2 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2009 ieee symposium on computers and communications 1 Treffer
-
9 weitere Werte:
- electronic notes in theoretical computer science 1 Treffer
- formal methods in system design 1 Treffer
- informatik-spektrum 1 Treffer
- journal of logic and computation 1 Treffer
- nature communications 1 Treffer
- proceedings of the 35th annual acm/ieee symposium on logic in computer science 1 Treffer
- proceedings of the aaai conference on artificial intelligence 1 Treffer
- proceedings of the twenty-ninth international joint conference on artificial intelligence 1 Treffer
- theoretical computer science 1 Treffer
Sprache
138 Treffer
-
In: Information and Computation, Jg. 289 (2022-11-01), S. 104856-104856Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online unknownZugriff:
-
In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020-07-08Online unknownZugriff:
-
2020Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: ISSN: 2041-1723, 2020Online academicJournalZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 41 (2010-11-01), S. 61-75Online unknownZugriff: