Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 3.671
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
undecidability
2.829
01 natural sciences
483
0101 mathematics
371
undecidability and degrees of sets of sentences
357
logic
350
0102 computer and information sciences
310
mehr ...
decidability
293
indecidabilite
195
complexity
180
decidability of theories and sets of sentences
166
mathematics
147
exact sciences and technology
127
sciences exactes et technologie
127
computer science
124
applied sciences
121
informatique
121
sciences appliquees
121
02 engineering and technology
119
computer science; control theory; systems
119
informatique; automatique theorique; systemes
119
incompleteness
114
algebra
113
0202 electrical engineering, electronic engineering, information engineering
109
theoretical computer science
108
computability
97
modal logic
94
cellular automata
91
informatique theorique
87
theoretical computing
86
16. peace & justice
84
weniger ...
Veröffentlicht in
theoretical computer science
190
the journal of symbolic logic
155
annals of pure and applied logic
77
journal of symbolic logic
58
information and computation
53
studia logica: an international journal for symbolic logic
51
mehr ...
information processing letters
36
proceedings of the american mathematical society
32
archive for mathematical logic
31
journal of logic and computation
31
studia logica
29
notre dame journal of formal logic
28
fundamenta informaticae
26
synthese
18
acm transactions on computational logic
16
algebra universalis
16
logical methods in computer science
16
algebra and logic
15
journal of philosophical logic
15
journal of logic, language and information
14
international journal of theoretical physics
12
mathematical notes
11
mathematics
11
minds and machines
11
international journal for philosophy of religion
7
monatshefte fur mathematik
7
حکمت و فلسفه
6
british journal for the philosophy of science
5
methodos
5
philosophy of science
5
weniger ...
Verlag
springer
204
ccsd
175
elsevier bv
164
hal ccsd
125
elsevier
101
elsevier science bv
100
mehr ...
zenodo
91
elsevier b.v.
89
schloss dagstuhl - leibniz-zentrum fur informatik
87
society for the advancement of philosophy
74
cambridge university press (cup)
56
academic press inc elsevier science
54
wiley
42
oxford univ press
35
mdpi ag
32
ios press
29
springer netherlands
27
springer berlin heidelberg
26
association for computing machinery
19
springer us
19
kluwer academic publishers
18
springer international publishing
17
edp sciences
14
ieee
13
kluwer academic publ
11
springer-verlag
11
de gruyter
9
sage publications
9
pergamon-elsevier science ltd
8
taylor & francis ltd
8
weniger ...
Sprache
english
2.883
undetermined
283
french
91
unknown
75
spanish; castilian
26
turkish
17
mehr ...
persian
14
italian
13
croatian
12
swedish
11
german
10
portuguese
9
spanish
9
polish
6
danish
5
arabic
4
norwegian
4
slovenian
4
russian
3
bokm�l, norwegian; norwegian bokm�l
2
estonian
2
bulgarian
1
dutch
1
english, old (ca.450-1100)
1
greek, modern (1453-)
1
korean
1
weniger ...
Geographischer Bezug
Treffer aus
OpenAIRE
884
BASE
777
Science Citation Index Expanded
613
Philosopher's Index with Full Text
304
OAIster
230
JSTOR Journals
210
mehr ...
PASCAL Archive
159
ScienceDirect
118
Springer Nature Journals
97
HAL
91
Arts & Humanities Citation Index
54
Social Sciences Citation Index
38
Directory of Open Access Journals
35
APA PsycInfo
15
GBV Online Contents
10
RCAAP
7
De Gruyter Brill Online
6
MEDLINE
6
Europeana
4
wiso
3
Academic Search Index
2
Directory of Open Access Books
2
Digital Access to Scholarship at Harvard (DASH)
1
Emerald Insight
1
Education Research Complete
1
SciTech Connect
1
Erudit
1
OpenDissertations
1
weniger ...
Erscheinungsjahr
Filter