Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- fos: computer and information sciences 314 Treffer
- logic in computer science (cs.lo) 314 Treffer
- computer science - programming languages 294 Treffer
- f.4.1 135 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 134 Treffer
-
45 weitere Werte:
- theoryofcomputation_mathematicallogicandformallanguages 132 Treffer
- computer science 119 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 85 Treffer
- 02 engineering and technology 85 Treffer
- mathematics - logic 85 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 84 Treffer
- computer 79 Treffer
- programming languages (cs.pl) 79 Treffer
- computer.software_genre 72 Treffer
- 01 natural sciences 71 Treffer
- proof assistant 68 Treffer
- programming language 65 Treffer
- 0102 computer and information sciences 64 Treffer
- 010201 computation theory & mathematics 64 Treffer
- computer science - artificial intelligence 64 Treffer
- 020207 software engineering 60 Treffer
- f.3.1 59 Treffer
- bc1-199 58 Treffer
- electronic computers. computer science 58 Treffer
- logic 58 Treffer
- qa75.5-76.95 58 Treffer
- computer science::logic in computer science 57 Treffer
- d.2.4 53 Treffer
- fos: mathematics 50 Treffer
- mathematics - category theory 49 Treffer
- coq 47 Treffer
- mathematical proof 47 Treffer
- theoretical computer science 46 Treffer
- computer science - software engineering 40 Treffer
- lcsh:electronic computers. computer science 39 Treffer
- lcsh:qa75.5-76.95 39 Treffer
- f.3.2 37 Treffer
- lcsh:mathematics 35 Treffer
- lcsh:qa1-939 35 Treffer
- computer science::programming languages 34 Treffer
- phil 34 Treffer
- 020201 artificial intelligence & image processing 31 Treffer
- computer science - mathematical software 31 Treffer
- i.2.3 30 Treffer
- computer science - formal languages and automata theory 29 Treffer
- software 28 Treffer
- computer science - symbolic computation 27 Treffer
- d.3.1 27 Treffer
- general computer science 26 Treffer
- mathematics 25 Treffer
Verlag
- arxiv 96 Treffer
- logical methods in computer science e.v. 61 Treffer
- hal ccsd 57 Treffer
- open publishing association 20 Treffer
- episciences.org 8 Treffer
-
26 weitere Werte:
- springer international publishing 5 Treffer
- acm 4 Treffer
- ieee 4 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 4 Treffer
- association for computing machinery (acm) 3 Treffer
- centre pour la communication scientifique directe (ccsd) 3 Treffer
- springer berlin heidelberg 3 Treffer
- springer science and business media llc 3 Treffer
- association for computing machinery, inc 2 Treffer
- eptcs 2 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 2 Treffer
- association for computing machinery 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
- lipics - leibniz international proceedings in informatics. 13th international conference on interactive theorem proving (itp 2022) 1 Treffer
- oxford university press (oup) 1 Treffer
- research online 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
- springer-verlag 1 Treffer
- university of bologna 1 Treffer
Publikation
- logical methods in computer science 33 Treffer
- electronic proceedings in theoretical computer science 20 Treffer
- journal of automated reasoning 5 Treffer
- logical methods in computer science, vol volume 18, issue 2 (2022 3 Treffer
- logical methods in computer science, vol volume 8, issue 1 (2012 3 Treffer
-
30 weitere Werte:
- logical methods in computer science, vol volume 17, issue 2 (2021 2 Treffer
- logical methods in computer science, vol volume 4, issue 3 (2008 2 Treffer
- logical methods in computer science, vol volume 8, issue 2 (2012 2 Treffer
- mathematical structures in computer science 2 Treffer
- $2 1 Treffer
- 2016 ieee congress on evolutionary computation (cec) 1 Treffer
- 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
- logical methods in computer science, vol volume 11, issue 1 (2015 1 Treffer
- logical methods in computer science, vol volume 11, issue 3 (2015 1 Treffer
- logical methods in computer science, vol volume 11, issue 4 (2015 1 Treffer
- logical methods in computer science, vol volume 12, issue 2 (2016 1 Treffer
- logical methods in computer science, vol volume 13, issue 4 (2017 1 Treffer
- logical methods in computer science, vol volume 15, issue 1 (2019 1 Treffer
- logical methods in computer science, vol volume 15, issue 2 (2019 1 Treffer
- logical methods in computer science, vol volume 17, issue 1 (2021 1 Treffer
- logical methods in computer science, vol volume 17, issue 3 (2021 1 Treffer
- logical methods in computer science, vol volume 18, issue 1 (2022 1 Treffer
- logical methods in computer science, vol volume 3, issue 3 (2007 1 Treffer
- logical methods in computer science, vol volume 4, issue 1 (2008 1 Treffer
- logical methods in computer science, vol volume 7, issue 2 (2011 1 Treffer
- logical methods in computer science, vol volume 9, issue 1 (2013 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