Representation theorems in computer science: a treatment in logic engineering
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2019]
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | xiii, 187 Seiten Diagramme |
| ISBN: | 9783030257873 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV047084198 | ||
| 003 | DE-604 | ||
| 005 | 20210528 | ||
| 007 | t | ||
| 008 | 210112s2019 |||| |||| 00||| eng d | ||
| 020 | |a 9783030257873 |9 978-3-030-25787-3 | ||
| 035 | |a (OCoLC)1159976899 | ||
| 035 | |a (DE-599)BVBBV047084198 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Özçep, Özgür Lütfü |e Verfasser |0 (DE-588)140325166 |4 aut | |
| 245 | 1 | 0 | |a Representation theorems in computer science |b a treatment in logic engineering |c Özgür Lütfü Özçep |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 264 | 4 | |c © 2019 | |
| 300 | |a xiii, 187 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Data Mining and Knowledge Discovery | |
| 650 | 4 | |a Information Storage and Retrieval | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Data mining | |
| 650 | 4 | |a Information storage and retrieval systems | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-25785-9 |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032490939&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032490939 | ||
Datensatz im Suchindex
| _version_ | 1804182097092411392 |
|---|---|
| adam_text | CONTENTS
LIST OF FIGURES XIII
LIST OF TABLES XIX
NOMENCLATURE XXI
1. INTRODUCTION
1
1.1. STEAM- AND WATER INJECTION IN GAS TURBINES
.........................
1
1.2. THERMOACOUSTIC INSTABILITIES
..................................................
3
1.3. GOAL AND STRUCTURE OF THIS W ORK
...........................................
5
2. THEORETICAL BACKGROUND S
2.1. GOVERNING E QUATIONS
...........................................................
9
2.1.1. LINEARIZED EULER EQUATIONS (LEE).............................. 9
2.1.2. WAVE EQUATION
...........................................................
11
2.1.3. ANALYTICAL SOLUTION OF THE WAVE E QUATION
................
13
2.2. LOW-ORDER NETWORK MODELING
...........................................
14
2.3. BOUNDARY CONDITIONS
...........................................................
16
2.4. FINITE ELEMENT METHOD IN ACOUSTICS
....................................
17
2.5. FLAME DYNAMICS
....................................................................
19
2.5.1. FLAME TRANSFER FUNCTIONS
.........................................
20
2.5.2. RANKINE-HUGONIOT RELATIONS FOR ACOUSTIC PERTURBATIONS 21
2.6. COMBUSTOR DYNAMICS
...........................................................
24
2.6.1. MODAL EXPANSION OF THE WAVE E QUATION
..................
25
2.6.2. HARMONIC OSCILLATOR
..................................................
27
2.6.2.
1. LINEAR SYSTEM S
...........................................
28
2.6.2.2. NON-LINEAR SYSTEM S
..................................
30
2.7. SOLUTION OF NON-LINEAR OPTIMIZATION PROBLEM S
..................
31
2.7.1. LEAST-SQUARES OPTIMIZATION.......................................
32
2.7.2. BAYESIAN INFERENCE
....................................................
33
2.7.3. MARKOV-CHAIN MONTE-CARLO METHOD (MCMC)
.........
33
2.7.4. METROPOLIS-HASTINGS A LGORITHM
................................
34
2.7.5. GIBBS SAM PLING
.........................................................
35
3. MEASURING METHODS AND DATA PROCESSING 37
3.1. DETERMINATION OF SCATTERING M ATRICES
..................................
37
3.2. MEASUREMENT OF SOURCE T ERM
S..............................................
40
3.3. MEASUREMENT OF FLAME TRANSFER FUNCTIONS
...........................
40
3.4. DETERMINATION OF DAMPING AND GROWTH R ATES.....................
42
3.4.1. IMPULSE RESPONSE METHOD
.......................................
43
3.4.2. STOCHASTIC FORCING METHOD .......................................
46
3.4.3.
DETERMINATION OF ACOUSTIC DISSIPATION AND FLAME GAIN 48
3.4.4. GROWTH RATE DETERMINATION.......................................
49
3.5. FLAME IM
AGING.......................................................................
50
3.5.1. STATIONARY FLAME IM AGES
...........................................
51
3.5.2. PHASE-RESOLVED FLAME IM AGES
..................................
52
3.6. SPRAY DISTRIBUTION AND DROPLET S IZ E S
..................................
54
3.6.1.
MIE-SCATTERING............................................................
54
3.6.2. PARTICLE S IZ IN G
............................................................
55
4. EXPERIMENTAL SETUP 57
4.1. ATMOSPHERIC SINGLE BURNER
TEST-RIG.....................................
57
4.2. SWIRL-BURNER WITH WATER INJECTION
.........................................
59
5. STATIONARY FLAME AND FLOW PROPERTIES 63
5.1. OPERATING
CONDITIONS............................................................
63
5.2. FLAME SHAPE AND FLAME L E N G TH
...........................................
65
5.3.
SPRAY D ISTR IB U TIO N
................................................................
70
5.4. DROPLET PROPERTIES
................................................................
71
6. ACOUSTIC PROPERTIES AND FLAME RESPONSE 75
6.1. SCATTERING MATRICES OF THE B U RN ER
.........................................
75
6.2. NOISE EMISSION WITH WATER
INJECTION.....................................
77
6.3. FLAME TRANSFER
FUNCTIONS.......................................................
78
6.3.1.
DRY O P ERA TIO N
...........................................................
79
6.3.2. WATER INJECTION AT CONSTANT EQUIVALENCE R ATIO
.........
81
6.3.3.
WATER INJECTION AT CONSTANT ADIABATIC FLAME TEM
PERATURE
................................................................................
83
6.4. PHASE-RESOLVED HEAT RELEASE OSCILLATIONS
...........................
87
7. THERMOACOUSTIC MODES WITH WATER INJECTION 91
7.1. AEROACOUSTIC DAMPING PROPERTIES OF THE COMBUSTOR
...........
91
7.2. COMBUSTOR DAMPING UNDER DRY OPERATION
.........................
94
7.3. COMBUSTOR DAMPING WITH WATER INJECTION
...........................
97
7.3.1. WATER INJECTION AT CONSTANT EQUIVALENCE R ATIO
.........
97
7.3.2. WATER INJECTION AT CONSTANT ADIABATIC FLAME TEM
PERATURE
......................................................................
100
7.3.3. INFLUENCE OF THE DOWNSTREAM BOUNDARY CONDITION
ON THERMOACOUSTIC DAMPING.......................................
104
7.3.4. ACOUSTIC DISSIPATION AND FLAME G A IN
.........................
107
7.4. BENCHMARK OF DIFFERENT METHODS FOR THERMAL POWER INCREASE
113
8. NUMERICAL SIMULATION AND STABILITY ANALYSIS 117
8.1. MODELING APPROACH AND NUMERICAL SETUP..............................
117
8.1.1. ACOUSTIC SCATTERING BEHAVIOR: CFD/CAA APPROACH .
117
8.1.2. THERMOACOUSTIC STABILITY: EIGENVALUE ANALYSIS .... 120
8.2. DETERMINATION OF STATIONARY FLOW- AND TEMPERATURE FIELDS .
123
8.2.1. STATIONARY FLOW F IE LD
..................................................
123
8.2.2. DETERMINATION OF THE LOCAL SPEED OF SOUND
................
124
8.3. ACOUSTIC SCATTERING BEHAVIOR OF THE B U RN E R
...........................
127
8.4. QUALITATIVE ANALYSIS OF OCCURRING M O D E S
..............................
130
8.5. QUANTITATIVE STABILITY
ANALYSIS................................................
133
8.5.1.
ACOUSTIC D A M P IN G
................................................................135
8.5.1.1.
ACOUSTIC DAM PING UNDER NON-REACTIVE
C O N D ITIO N S
.............................................................
135
8.5.1.2. ACOUSTIC DAMPING UNDER REACTIVE CONDITIONS
137
8.5.2. THERMOACOUSTIC DAMPING WITH WATER INJECTION ....
138
8.5.2.1. EXPERIMENTAL SCATTERING MATRICES OF BURNER
AND F L A M E
.............................................................
138
5.5.2.2. SIMULATED BURNER SCATTERING MATRIX AND
ANALYTICAL FLAME TRANSFER FUNCTION..............
140
5.5.2.3. SIMULATED BURNER SCATTERING MATRIX AND
SCALED FLAME TRANSFER FUNCTION
....................
144
9. SUMMARY AND CONCLUSION
147
A. MATRIX-VECTOR NOTATION OF THE LEES
151
B. VALIDATION OF THE STOCHASTIC FORCING METHOD 153
B.L. SINGLE M ODE C A S E
.................................................................................155
B.2. MULTI-MODE C A S E
.................................................................................156
B.3. ERROR A N A LY S IS
......................................................................................157
C. OPERATING PARAMETERS OF THE TEST-RIG 159
D. COMPARISON BETWEEN FLAME DRIVING AND FTF 163
E. SCATTERING MATRICES OF BURNER AND FLAME 167
SUPERVISED STUDENT THESES 171
PREVIOUS PUBLICATIONS 173
BIBLIOGRAPHY 175
|
| adam_txt |
CONTENTS
LIST OF FIGURES XIII
LIST OF TABLES XIX
NOMENCLATURE XXI
1. INTRODUCTION
1
1.1. STEAM- AND WATER INJECTION IN GAS TURBINES
.
1
1.2. THERMOACOUSTIC INSTABILITIES
.
3
1.3. GOAL AND STRUCTURE OF THIS W ORK
.
5
2. THEORETICAL BACKGROUND S
2.1. GOVERNING E QUATIONS
.
9
2.1.1. LINEARIZED EULER EQUATIONS (LEE). 9
2.1.2. WAVE EQUATION
.
11
2.1.3. ANALYTICAL SOLUTION OF THE WAVE E QUATION
.
13
2.2. LOW-ORDER NETWORK MODELING
.
14
2.3. BOUNDARY CONDITIONS
.
16
2.4. FINITE ELEMENT METHOD IN ACOUSTICS
.
17
2.5. FLAME DYNAMICS
.
19
2.5.1. FLAME TRANSFER FUNCTIONS
.
20
2.5.2. RANKINE-HUGONIOT RELATIONS FOR ACOUSTIC PERTURBATIONS 21
2.6. COMBUSTOR DYNAMICS
.
24
2.6.1. MODAL EXPANSION OF THE WAVE E QUATION
.
25
2.6.2. HARMONIC OSCILLATOR
.
27
2.6.2.
1. LINEAR SYSTEM S
.
28
2.6.2.2. NON-LINEAR SYSTEM S
.
30
2.7. SOLUTION OF NON-LINEAR OPTIMIZATION PROBLEM S
.
31
2.7.1. LEAST-SQUARES OPTIMIZATION.
32
2.7.2. BAYESIAN INFERENCE
.
33
2.7.3. MARKOV-CHAIN MONTE-CARLO METHOD (MCMC)
.
33
2.7.4. METROPOLIS-HASTINGS A LGORITHM
.
34
2.7.5. GIBBS SAM PLING
.
35
3. MEASURING METHODS AND DATA PROCESSING 37
3.1. DETERMINATION OF SCATTERING M ATRICES
.
37
3.2. MEASUREMENT OF SOURCE T ERM
S.
40
3.3. MEASUREMENT OF FLAME TRANSFER FUNCTIONS
.
40
3.4. DETERMINATION OF DAMPING AND GROWTH R ATES.
42
3.4.1. IMPULSE RESPONSE METHOD
.
43
3.4.2. STOCHASTIC FORCING METHOD .
46
3.4.3.
DETERMINATION OF ACOUSTIC DISSIPATION AND FLAME GAIN 48
3.4.4. GROWTH RATE DETERMINATION.
49
3.5. FLAME IM
AGING.
50
3.5.1. STATIONARY FLAME IM AGES
.
51
3.5.2. PHASE-RESOLVED FLAME IM AGES
.
52
3.6. SPRAY DISTRIBUTION AND DROPLET S IZ E S
.
54
3.6.1.
MIE-SCATTERING.
54
3.6.2. PARTICLE S IZ IN G
.
55
4. EXPERIMENTAL SETUP 57
4.1. ATMOSPHERIC SINGLE BURNER
TEST-RIG.
57
4.2. SWIRL-BURNER WITH WATER INJECTION
.
59
5. STATIONARY FLAME AND FLOW PROPERTIES 63
5.1. OPERATING
CONDITIONS.
63
5.2. FLAME SHAPE AND FLAME L E N G TH
.
65
5.3.
SPRAY D ISTR IB U TIO N
.
70
5.4. DROPLET PROPERTIES
.
71
6. ACOUSTIC PROPERTIES AND FLAME RESPONSE 75
6.1. SCATTERING MATRICES OF THE B U RN ER
.
75
6.2. NOISE EMISSION WITH WATER
INJECTION.
77
6.3. FLAME TRANSFER
FUNCTIONS.
78
6.3.1.
DRY O P ERA TIO N
.
79
6.3.2. WATER INJECTION AT CONSTANT EQUIVALENCE R ATIO
.
81
6.3.3.
WATER INJECTION AT CONSTANT ADIABATIC FLAME TEM
PERATURE
.
83
6.4. PHASE-RESOLVED HEAT RELEASE OSCILLATIONS
.
87
7. THERMOACOUSTIC MODES WITH WATER INJECTION 91
7.1. AEROACOUSTIC DAMPING PROPERTIES OF THE COMBUSTOR
.
91
7.2. COMBUSTOR DAMPING UNDER DRY OPERATION
.
94
7.3. COMBUSTOR DAMPING WITH WATER INJECTION
.
97
7.3.1. WATER INJECTION AT CONSTANT EQUIVALENCE R ATIO
.
97
7.3.2. WATER INJECTION AT CONSTANT ADIABATIC FLAME TEM
PERATURE
.
100
7.3.3. INFLUENCE OF THE DOWNSTREAM BOUNDARY CONDITION
ON THERMOACOUSTIC DAMPING.
104
7.3.4. ACOUSTIC DISSIPATION AND FLAME G A IN
.
107
7.4. BENCHMARK OF DIFFERENT METHODS FOR THERMAL POWER INCREASE
113
8. NUMERICAL SIMULATION AND STABILITY ANALYSIS 117
8.1. MODELING APPROACH AND NUMERICAL SETUP.
117
8.1.1. ACOUSTIC SCATTERING BEHAVIOR: CFD/CAA APPROACH .
117
8.1.2. THERMOACOUSTIC STABILITY: EIGENVALUE ANALYSIS . 120
8.2. DETERMINATION OF STATIONARY FLOW- AND TEMPERATURE FIELDS .
123
8.2.1. STATIONARY FLOW F IE LD
.
123
8.2.2. DETERMINATION OF THE LOCAL SPEED OF SOUND
.
124
8.3. ACOUSTIC SCATTERING BEHAVIOR OF THE B U RN E R
.
127
8.4. QUALITATIVE ANALYSIS OF OCCURRING M O D E S
.
130
8.5. QUANTITATIVE STABILITY
ANALYSIS.
133
8.5.1.
ACOUSTIC D A M P IN G
.135
8.5.1.1.
ACOUSTIC DAM PING UNDER NON-REACTIVE
C O N D ITIO N S
.
135
8.5.1.2. ACOUSTIC DAMPING UNDER REACTIVE CONDITIONS
137
8.5.2. THERMOACOUSTIC DAMPING WITH WATER INJECTION .
138
8.5.2.1. EXPERIMENTAL SCATTERING MATRICES OF BURNER
AND F L A M E
.
138
5.5.2.2. SIMULATED BURNER SCATTERING MATRIX AND
ANALYTICAL FLAME TRANSFER FUNCTION.
140
5.5.2.3. SIMULATED BURNER SCATTERING MATRIX AND
SCALED FLAME TRANSFER FUNCTION
.
144
9. SUMMARY AND CONCLUSION
147
A. MATRIX-VECTOR NOTATION OF THE LEES
151
B. VALIDATION OF THE STOCHASTIC FORCING METHOD 153
B.L. SINGLE M ODE C A S E
.155
B.2. MULTI-MODE C A S E
.156
B.3. ERROR A N A LY S IS
.157
C. OPERATING PARAMETERS OF THE TEST-RIG 159
D. COMPARISON BETWEEN FLAME DRIVING AND FTF 163
E. SCATTERING MATRICES OF BURNER AND FLAME 167
SUPERVISED STUDENT THESES 171
PREVIOUS PUBLICATIONS 173
BIBLIOGRAPHY 175 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Özçep, Özgür Lütfü |
| author_GND | (DE-588)140325166 |
| author_facet | Özçep, Özgür Lütfü |
| author_role | aut |
| author_sort | Özçep, Özgür Lütfü |
| author_variant | ö l ö öl ölö |
| building | Verbundindex |
| bvnumber | BV047084198 |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)1159976899 (DE-599)BVBBV047084198 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01558nam a2200421 c 4500</leader><controlfield tag="001">BV047084198</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210528 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">210112s2019 |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030257873</subfield><subfield code="9">978-3-030-25787-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1159976899</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047084198</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Özçep, Özgür Lütfü</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140325166</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Representation theorems in computer science</subfield><subfield code="b">a treatment in logic engineering</subfield><subfield code="c">Özgür Lütfü Özçep</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 187 Seiten</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic in AI.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Mining and Knowledge Discovery</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Storage and Retrieval</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data mining</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information storage and retrieval systems</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-030-25785-9</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032490939&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032490939</subfield></datafield></record></collection> |
| id | DE-604.BV047084198 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:17:27Z |
| indexdate | 2024-07-10T09:02:08Z |
| institution | BVB |
| isbn | 9783030257873 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032490939 |
| oclc_num | 1159976899 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | xiii, 187 Seiten Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| spelling | Özçep, Özgür Lütfü Verfasser (DE-588)140325166 aut Representation theorems in computer science a treatment in logic engineering Özgür Lütfü Özçep Cham Springer [2019] © 2019 xiii, 187 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Theory of Computation Logic in AI. Data Mining and Knowledge Discovery Information Storage and Retrieval Information theory Artificial intelligence Computer logic Data mining Information storage and retrieval systems Erscheint auch als Online-Ausgabe 978-3-030-25785-9 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032490939&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Özçep, Özgür Lütfü Representation theorems in computer science a treatment in logic engineering Theory of Computation Logic in AI. Data Mining and Knowledge Discovery Information Storage and Retrieval Information theory Artificial intelligence Computer logic Data mining Information storage and retrieval systems |
| title | Representation theorems in computer science a treatment in logic engineering |
| title_auth | Representation theorems in computer science a treatment in logic engineering |
| title_exact_search | Representation theorems in computer science a treatment in logic engineering |
| title_exact_search_txtP | Representation theorems in computer science a treatment in logic engineering |
| title_full | Representation theorems in computer science a treatment in logic engineering Özgür Lütfü Özçep |
| title_fullStr | Representation theorems in computer science a treatment in logic engineering Özgür Lütfü Özçep |
| title_full_unstemmed | Representation theorems in computer science a treatment in logic engineering Özgür Lütfü Özçep |
| title_short | Representation theorems in computer science |
| title_sort | representation theorems in computer science a treatment in logic engineering |
| title_sub | a treatment in logic engineering |
| topic | Theory of Computation Logic in AI. Data Mining and Knowledge Discovery Information Storage and Retrieval Information theory Artificial intelligence Computer logic Data mining Information storage and retrieval systems |
| topic_facet | Theory of Computation Logic in AI. Data Mining and Knowledge Discovery Information Storage and Retrieval Information theory Artificial intelligence Computer logic Data mining Information storage and retrieval systems |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032490939&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ozcepozgurlutfu representationtheoremsincomputerscienceatreatmentinlogicengineering |