The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 161 - 180
of 95,778
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
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
more ...
0102 computer and information sciences
10,776
0202 electrical engineering, electronic engineering, information engineering
10,309
logic in computer science [cs.lo]
8,537
[info.info-lo]computer science [cs]
8,447
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,814
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
less ...
Published 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
332
acm transactions on computational logic
325
more ...
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
less ...
Publisher
ccsd
20,296
hal ccsd
10,899
arxiv
7,769
springer
3,071
logical methods in computer science e.v.
2,522
open publishing association
2,127
more ...
springer international publishing
2,029
elsevier
2,008
springer berlin heidelberg
1,468
acm
1,286
ieee
1,251
springer verlag
1,177
cambridge university press (cup)
1,154
oxford university press (oup)
706
springer nature switzerland
673
schloss dagstuhl - leibniz-zentrum fur informatik
291
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
less ...
Language
Geography
Content Provider
BASE
25,931
OpenAIRE
24,232
arXiv
18,411
OAIster
17,138
HAL
8,585
Directory of Open Access Journals
1,281
more ...
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
less ...
Year of Publication
Filter