The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 4,612
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
informatique theorique
2,059
theoretical computing
2,052
artificial intelligence
1,724
intelligence artificielle
1,719
logiciel
1,600
software
1,600
more ...
fonctions logiques, booleennes et de commutation
1,007
logical, boolean and switching functions
1,007
apprentissage et systemes adaptatifs
926
learning and adaptive systems
926
inteligencia artificial
795
programming theory
595
theorie programmation
595
semantics
558
semantique
551
semantica
546
knowledge representation
544
representacion conocimientos
543
programming language
519
langage programmation
516
lenguaje programacion
504
memory organisation. data processing
496
organisation des memoires. traitement des donnees
496
modeling
471
modelisation
471
modelizacion
471
mathematics
462
mathematiques
455
prolog
441
software engineering
438
less ...
Published in
lecture notes in computer science
2,299
theoretical computer science
182
the journal of logic programming
87
new generation computing
85
cl 2000 : computational logic (london, 24-28 july 2000)
71
logics in artificial intelligence (lisbon, 27-30 september 2004)
67
more ...
34th international symposium on multiple-valued logic (proceedings)
55
0iclp 2006
52
logic programming (22nd international conference, iclp 2006)
52
international journal of approximate reasoning
51
ieee transactions on knowledge and data engineering
47
lics 2004 (proceedings of the 19th annual ieee symposium on logic in computer science)
46
acm transactions on programming languages and systems
45
data & knowledge engineering
27
machine learning
14
fuzzy sets and systems
11
european journal of operational research
9
computers & chemical engineering
8
decision support systems
8
higher-order and symbolic computation
7
j
4
thinking & reasoning
4
advanced engineering research
3
annales des telecommunications
3
mathematics
3
naukma research papers. computer science
3
algorithms
2
cybernetics and systems analysis
2
dtic and ntis
2
ieee open journal of the industrial electronics society
2
less ...
Publisher
springer
2,603
elsevier
604
ieee
93
springer-verlag
49
acm
30
hal ccsd
23
more ...
ccsd
16
taylor & francis
15
mdpi ag
10
elsevier b.v.
6
ios press
6
zenodo
5
springer berlin heidelberg
4
saarlandische universitats- und landesbibliothek
3
springer science and business media deutschland gmbh
3
universitatsbibliothek der universitat stuttgart
3
afia-association francaise pour l'intelligence artificielle
2
department of electrical engineering and automation, aalto university, espoo, finland
2
don state technical university
2
editorial universidad cooperativa de colombia
2
elsevier ltd
2
lulea tekniska universitet, datavetenskap
2
national university of kyiv-mohyla academy
2
routledge journals, taylor & francis ltd
2
schloss dagstuhl - leibniz-zentrum fur informatik
2
schloss dagstuhl--leibniz-zentrum fuer informatik
2
springer science+business media
2
universidade estadual paulista (unesp)
2
vtt technical research centre of finland ltd., espoo, finland
2
academic press inc elsevier science
1
less ...
Language
Geography
Content Provider
PASCAL Archive
4,380
BASE
86
OpenAIRE
40
Europeana
28
OAIster
28
HAL
12
more ...
ScienceDirect
11
Science Citation Index Expanded
8
Springer Nature Journals
6
Directory of Open Access Journals
5
APA PsycInfo
3
Social Sciences Citation Index
2
GBV Online Contents
1
Directory of Open Access Books
1
Arts & Humanities Citation Index
1
less ...
Year of Publication
Filter