*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 13*number_thousands_separator*249
*custom_text_below_search_result*
*Refine Results*
*Format*
Academic Journals
5*number_thousands_separator*535
Conference Materials
3*number_thousands_separator*108
Books
2*number_thousands_separator*424
Reviews
1*number_thousands_separator*064
Electronic Resources
858
Reports
480
*more* ...
Dissertations
237
eBooks
146
Magazines
38
Trade Publications
5
*less* ...
*Published in*
lecture notes in computer science
793
machine learning
685
inductive logic programming
215
theory and practice of logic programming
146
theoretical computer science
104
new generation computing
92
*more* ...
proceedings of the acm on programming languages
89
journal of machine learning research
85
artificial intelligence
76
ai communications
64
fundamenta informaticae
51
journal of artificial intelligence research
51
applied artificial intelligence
50
journal of functional programming
47
information and computation
44
intelligent data analysis
43
logical methods in computer science
43
expert systems with applications
41
science of computer programming
37
journal of automated reasoning
35
knowledge-based systems
34
journal of logical and algebraic methods in programming
32
bmc bioinformatics
31
artificial intelligence review
28
acm transactions on computational logic
27
computational intelligence
27
ieee access
24
communications of the acm
22
journal of computer-aided molecular design
22
journal of applied logic
20
*less* ...
*SubjectEDS*
inductive logic programming
3*number_thousands_separator*126
logic programming
1*number_thousands_separator*407
02 engineering and technology
1*number_thousands_separator*035
0202 electrical engineering, electronic engineering, information engineering
1*number_thousands_separator*011
learning (artificial intelligence)
967
machine learning
753
*more* ...
inference mechanisms
589
data mining
573
theorem proving
470
formal logic
462
computer science - logic in computer science
440
01 natural sciences
420
fos: computer and information sciences
413
artificial intelligence
391
computer science
382
0102 computer and information sciences
360
computer science - artificial intelligence
330
learning by example
314
computer science - programming languages
267
4. education
242
type theory
239
logic in computer science (cs.lo)
236
computing and processing
235
program verification
221
computer science - machine learning
215
computational complexity
198
logische programmierung
192
algorithms
190
induction (logic)
178
artificial intelligence (cs.ai)
174
*less* ...
*Publisher*
springer-verlag
970
springer nature
759
ieee
739
springer verlag
659
springer berlin heidelberg
579
springer
509
*more* ...
springer international publishing
288
arxiv
256
acm
212
wti-frankfurt-digital gmbh
201
springer, berlin
178
elsevier b.v.
167
springer, cham
148
cambridge university press
126
ceur-ws
116
elsevier
110
ios press
106
association for computing machinery
86
kluwer academic publishers
86
springer nature switzerland
76
microtome publishing
59
schloss dagstuhl - leibniz-zentrum fur informatik
54
mit press
53
sage publications inc.
52
aaai press
46
taylor & francis ltd
46
wiley-blackwell
42
world scientific publishing company
36
wiley
35
university college algebra
34
*less* ...
*RangeLexile*
*Language*
english
9*number_thousands_separator*780
undetermined
1*number_thousands_separator*171
japanese
44
chinese
36
french
30
german
25
*more* ...
russian
16
greek
11
turkish
9
spanish
5
italian
4
portuguese
4
slovenian
4
spanish; castilian
3
arabic
2
czech
2
dutch; flemish
2
eng
2
bulgarian
1
croatian
1
hungarian
1
ndonga
1
persian
1
pol
1
polish
1
slovak
1
ukrainian
1
*less* ...
*Category*
computers / artificial intelligence / general
57
computers / computer science
40
computers / programming / general
30
mathematics / probability & statistics / general
19
computers / programming / algorithms
15
computers / software development & engineering / general
15
*more* ...
computers / database administration & management
12
computers / programming / compilers
12
computers / data science / data analytics
11
computers / hardware / general
7
*less* ...
*SourceEDS*
Inspec
3*number_thousands_separator*037
OpenAIRE
2*number_thousands_separator*468
Scopus®
1*number_thousands_separator*649
MathSciNet via EBSCOhost
1*number_thousands_separator*071
Complementary Index
917
OAIster
857
*more* ...
dblp computer science bibliography
553
TEMA
410
Science Citation Index Expanded
404
arXiv
398
IEEE Xplore Digital Library
290
Academic Search Index
246
wiso
215
APA PsycInfo
158
Supplemental Index
147
Business Source Premier
94
MEDLINE
78
eBook Index
71
Directory of Open Access Journals
60
British Library EThOS
38
RePEc
12
BazTech
10
Europeana
10
JSTOR Journals
10
MLA International Bibliography
6
Philosopher's Index
6
Social Sciences Citation Index
6
EconLit
5
Biomedical Index
5
ECONIS
4
*less* ...
*adv_search_year*
*Filter*