The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 137
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
fos: mathematics
75
mathematics
74
computational theory and mathematics
70
fos: philosophy, ethics and religion
67
philosophy
67
02 engineering and technology
58
more ...
01 natural sciences
57
nonmonotonic reasoning
57
0202 electrical engineering, electronic engineering, information engineering
56
programming language
52
fuzzy logic and residuated lattices
45
program analysis and verification techniques
44
epistemology
42
description logics
39
0102 computer and information sciences
37
methods and techniques for agent-based modeling
34
constraint logic programming
33
temporal logic
33
16. peace & justice
32
modal logics
31
theoretical computer science
31
geometry
28
0101 mathematics
27
discrete mathematics
26
mathematical analysis
26
fos: psychology
25
psychology
25
pure mathematics
25
semantic web and ontology development
25
06 humanities and the arts
24
less ...
Published in
international journal of advanced computer science and applications
8
clei electronic journal
5
journal of logic and computation
5
logical methods in computer science
5
manuscrito
4
studia logica
4
more ...
critica (mexico d. f. en linea)
3
journal of the brazilian computer society
3
artificial intelligence
2
international journal of mathematics and mathematical sciences
2
journal of artificial intelligence research
2
journal of automated reasoning
2
logic journal of igpl
2
mathematical structures in computer science
2
revista da abralin
2
semantics and pragmatics
2
studia humana
2
2017 brazilian conference on intelligent systems (bracis)
1
2023 38th annual acm/ieee symposium on logic in computer science (lics)
1
acta scientiarum. technology
1
american journal of applied sciences
1
anais do 8o encontro de tecnologia: empreendedorismo, inovacao e sustentabilidade
1
annals of mathematics and artificial intelligence
1
annals of pure and applied logic
1
arxiv: logic in computer science
1
aufklarung: journal of philosophy
1
bajo palabra
1
boletim da sociedade paranaense de matematica
1
cogency
1
comptes rendus. mathematique
1
less ...
Publisher
openalex
19
springer science and business media llc
15
oxford university press (oup)
9
the science and information organization
8
elsevier bv
6
centro latino americano de estudios en informatica
5
more ...
springer international publishing
5
centre pour la communication scientifique directe (ccsd)
4
fapunifesp (scielo)
4
walter de gruyter gmbh
4
cambridge university press (cup)
3
springer nature switzerland
3
universidad nacional autonoma de mexico
3
wiley
3
ai access foundation
2
arxiv
2
associacao brasileira de linguistica
2
edipucrs
2
frontiers media sa
2
ieee
2
linguistic society of america
2
sage publications
2
springer berlin heidelberg
2
acm
1
association for computational linguistics (acl)
1
aufklarung journal of philosophy
1
cellule mathdoc/centre mersenne
1
editora edgard blucher
1
editorial pontificia universidad javeriana
1
el colegio de mexico, a.c.
1
less ...
Language
Content Provider
Year of Publication
Filter