Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 28.025
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
23.366
[info.info-lo] computer science [cs]/logic in computer science [cs.lo]
5.186
[info.info-ai]computer science [cs]/artificial intelligence [cs.ai]
5.062
[info.info-cl]computer science [cs]/computation and language [cs.cl]
2.854
01 natural sciences
2.418
0102 computer and information sciences
2.228
mehr ...
02 engineering and technology
2.180
0202 electrical engineering, electronic engineering, information engineering
2.100
[info.info-lg]computer science [cs]/machine learning [cs.lg]
1.810
[info.info-pl]computer science [cs]/programming languages [cs.pl]
1.582
[math.math-lo]mathematics [math]/logic [math.lo]
1.561
[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl]
1.532
[info.info-gt]computer science [cs]/computer science and game theory [cs.gt]
1.285
[info.info-ma]computer science [cs]/multiagent systems [cs.ma]
1.162
[info]computer science [cs]
1.103
fos: computer and information sciences
1.078
16. peace & justice
979
linear logic
928
computer science - logic in computer science
927
0101 mathematics
915
logic in computer science (cs.lo)
904
[info.info-cc]computer science [cs]/computational complexity [cs.cc]
817
[info.info-se]computer science [cs]/software engineering [cs.se]
816
[info.info-ce]computer science [cs]/computational engineering
798
and science [cs.ce]
798
finance
798
[info.info-ai] computer science [cs]/artificial intelligence [cs.ai]
736
[qfin.gn]quantitative finance [q-fin]/general finance [q-fin.gn]
715
[info.info-ds]computer science [cs]/data structures and algorithms [cs.ds]
661
coq
642
weniger ...
Veröffentlicht in
issn: 0168-7433
221
issn: 0960-1295
201
issn: 0955-792x
195
issn: 0304-3975
190
issn: 0890-5401
184
logical methods in computer science
160
mehr ...
issn: 1529-3785
138
issn: 1958-5780
115
issn: 0169-2968
107
electronic proceedings in theoretical computer science
105
theoretical computer science
104
issn: 1879-2294
91
electronic notes in theoretical computer science
79
eissn: 1860-5974 ; logical methods in computer science
68
information and computation
67
journal of automated reasoning
66
mathematical structures in computer science
65
journal of logic and computation
61
proceedings of the acm on programming languages
55
acm transactions on computational logic
47
issn: 1433-2779
44
issn: 0022-4812
42
issn: 1432-4350
39
annals of pure and applied logic
38
issn: 0039-3215
38
issn: 0925-8531
38
issn: 0934-5043
38
issn: 0747-7171
37
journal of applied non-classical logics
37
fundamenta informaticae
35
weniger ...
Verlag
ccsd
13.247
hal ccsd
9.247
springer
2.212
springer verlag
871
springer international publishing
780
springer berlin heidelberg
775
mehr ...
acm
698
ieee
615
elsevier bv
488
array
395
cambridge university press (cup)
375
oxford university press (oup)
333
springer science and business media llc
245
arxiv
200
schloss dagstuhl - leibniz-zentrum fur informatik
179
association for computing machinery (acm)
156
college publications
156
springer nature switzerland
153
open publishing association
147
ios press
144
acm press
118
schloss dagstuhl - leibniz-zentrum fuer informatik
106
international joint conferences on artificial intelligence organization
101
lavoisier
78
wiley
78
ieee computer society
76
edp sciences
60
sage publications
60
aaai press
52
easychair
40
weniger ...
Sprache
Geographischer Bezug
Erscheinungsjahr
Filter