Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 41 - 60
von 95.766
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
computer science - logic in computer science
37.903
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
23.366
fos: computer and information sciences
18.282
logic in computer science (cs.lo)
18.105
01 natural sciences
12.355
02 engineering and technology
10.788
mehr ...
0102 computer and information sciences
10.776
0202 electrical engineering, electronic engineering, information engineering
10.309
logic in computer science [cs.lo]
8.525
[info.info-lo]computer science [cs]
8.435
computer science - artificial intelligence
5.381
electronic computers. computer science
5.190
[info.info-lo] computer science [cs]/logic in computer science [cs.lo]
5.186
qa75.5-76.95
5.168
[info.info-ai]computer science [cs]/artificial intelligence [cs.ai]
5.075
0101 mathematics
4.970
logic
4.813
f.4.1
4.597
logic in computer science
4.520
computer science - programming languages
4.433
mathematics - logic
4.393
bc1-199
3.724
fos: mathematics
3.259
[info.info-cl]computer science [cs]/computation and language [cs.cl]
2.859
computer science - formal languages and automata theory
2.831
16. peace & justice
2.814
artificial intelligence (cs.ai)
2.748
programming languages (cs.pl)
2.121
computer science - computational complexity
2.106
logic (math.lo)
2.011
weniger ...
Veröffentlicht in
logical methods in computer science
2.651
electronic proceedings in theoretical computer science
2.046
theoretical computer science
437
theory and practice of logic programming
418
journal of logic and computation
331
acm transactions on computational logic
325
mehr ...
information and computation
310
mathematical structures in computer science
279
proceedings of the acm on programming languages
236
issn: 0168-7433
221
journal of automated reasoning
221
issn: 0960-1295
201
issn: 0955-792x
195
issn: 0304-3975
190
annals of pure and applied logic
184
issn: 0890-5401
184
fundamenta informaticae
182
electronic notes in theoretical computer science
156
issn: 1529-3785
138
issn: 1958-5780
115
issn: 0169-2968
110
journal of logical and algebraic methods in programming
109
journal of applied non-classical logics
93
journal of computer and system sciences
79
science of computer programming
78
information processing letters
77
annals of mathematics and artificial intelligence
68
journal of applied logic
67
international journal of approximate reasoning
65
acta informatica
56
weniger ...
Verlag
ccsd
20.259
hal ccsd
10.924
arxiv
7.769
springer
3.069
logical methods in computer science e.v.
2.522
open publishing association
2.127
mehr ...
springer international publishing
2.029
elsevier
2.008
springer berlin heidelberg
1.468
acm
1.285
ieee
1.251
springer verlag
1.177
cambridge university press (cup)
1.154
oxford university press (oup)
706
springer nature switzerland
671
schloss dagstuhl - leibniz-zentrum fur informatik
286
springer-verlag
261
ios press
230
international joint conferences on artificial intelligence organization
224
college publications
205
sage publications
183
acm press
159
eptcs
152
schloss dagstuhl - leibniz-zentrum fuer informatik
138
wiley
135
ieee computer society
105
easychair
103
edp sciences
92
ai access foundation
73
aaai press
67
weniger ...
Sprache
Geographischer Bezug
Treffer aus
BASE
25.931
OpenAIRE
24.232
arXiv
18.411
OAIster
17.138
HAL
8.573
Directory of Open Access Journals
1.281
mehr ...
GBV Online Contents
114
Science Citation Index Expanded
34
ScienceDirect
12
GOBI E-books
10
OpenDissertations
5
Springer Nature Journals
5
RCAAP
4
PASCAL Archive
4
Academic Search Index
3
Library, Information Science & Technology Abstracts
2
Education Research Complete
2
Business Source Premier
2
Arts & Humanities Citation Index
1
Supplemental Index
1
ORBi
1
weniger ...
Erscheinungsjahr
Filter