The NCL Natural Constraint Language:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Heidelberg [u.a.]
Springer [u.a.]
2012
|
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | XIII, 311 S. Ill., graph. Darst. 235 mm x 155 mm |
ISBN: | 9783642238444 3642238440 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV040494100 | ||
003 | DE-604 | ||
005 | 20130926 | ||
007 | t | ||
008 | 121019s2012 gw ad|| |||| 00||| eng d | ||
016 | 7 | |a 101424997X |2 DE-101 | |
020 | |a 9783642238444 |9 978-3-642-23844-4 | ||
020 | |a 3642238440 |9 3-642-23844-0 | ||
035 | |a (OCoLC)821177620 | ||
035 | |a (DE-599)DNB101424997X | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-11 |a DE-573 | ||
082 | 0 | |a 005.133 |2 22/ger | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a 004 |2 sdnb | ||
100 | 1 | |a Zhou, Jianying |e Verfasser |4 aut | |
245 | 1 | 0 | |a The NCL Natural Constraint Language |c Jianyang Zhou |
264 | 1 | |a Heidelberg [u.a.] |b Springer [u.a.] |c 2012 | |
300 | |a XIII, 311 S. |b Ill., graph. Darst. |c 235 mm x 155 mm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 0 | 7 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a NP-hartes Problem |0 (DE-588)4621705-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Softwareplattform |0 (DE-588)4702244-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Kontextsensitive Sprache |0 (DE-588)4704267-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Problemlösen |0 (DE-588)4076358-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Problemlösen |0 (DE-588)4076358-4 |D s |
689 | 0 | 1 | |a NP-hartes Problem |0 (DE-588)4621705-8 |D s |
689 | 0 | 2 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |D s |
689 | 0 | 3 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |D s |
689 | 0 | 4 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |D s |
689 | 0 | 5 | |a Kontextsensitive Sprache |0 (DE-588)4704267-9 |D s |
689 | 0 | 6 | |a Softwareplattform |0 (DE-588)4702244-9 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3866331&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
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=025341022&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025341022 |
Datensatz im Suchindex
_version_ | 1809404153261195264 |
---|---|
adam_text |
IMAGE 1
CONTENTS
P R E F A C E
1 I N T R O D U C T I O N 1
1.1 M O D E L I N G A N D SOLVING 1
1.1.1 PROGRAMMING FRAMEWORK AND ALGORITHM 1
1.1.2 FORMAL GRAMMAR AND PARSER 3
1 . 2 T H E NCL L A N G U A G E 6
1.2.1 NATURAL MODELING IN MATHEMATICAL LOGIC 6
1.2.2 COOPERATIVE SOLVING 7
1.2.3 COMPARISON WITH SOME OTHER SYSTEMS 10
1 . 3 T H E POEM P L A T F O R M 11
1.3.1 DEVELOPMENT TOOLKIT 11
1.3.2 COMPONENT AND SERVER 11
R E F E R E N C E S 12
2 D A T A T Y P E S A N D L E X I C A L C O N V E N T I O N S 15
2.1 D A T A T Y P E S 15
2.1.1 GENERALITY 15
2.1.2 SET 15
2.1.3 DATE/TIME 15
2.1.4 NUMERIC 16
2 . 2 L E X I C A L T O K E N S 17
2.2.1 CHARACTERS 17
2.2.2 IDENTIFIERS 18
2.2.3 PREDEFINED IDENTIFIERS 18
2.2.4 CONSTANTS 18
2.2.5 NON-INSTANTIATED VALUES 19
2.2.6 COMMENTS 2 0
2 . 3 M A T H E M A T I C A L N O T A T I O N S 21
2.3.1 MATHEMATICAL SYMBOLS 21
2.3.2 PREDEFINED FUNCTIONS 23
2.3.3 DELIMITERS OF TEX 2 6
R E F E R E N C E S 27
3 G R A M M A R A N D S E M A N T I C S 29
3.1 C O N T E X T - F R E E R U L E S 29
3.1.1 OVERALL STRUCTURE 29
3.1.2 EXPRESSION 31
HTTP://D-NB.INFO/101424997X
IMAGE 2
VIII THE N C L NATURAL CONSTRAINT LANGUAGE
3.1.3 CONSTRAINT 44
3.1.4 DECLARATION 47
3.1.5 DECLARATIVE CONTROL 4 9
3.1.6 TEMPORAL CONTROL 53
3.1.7 SEARCH AND OPTIMIZATION 65
3 . 2 C O N T E X T - S E N S I T I V I T Y O F NCL 68
3.2.1 CONSTANT 68
3.2.2 VARIABLE 69
3.2.3 FUNCTION 71
3.2.4 SUB-MODEL 73
R E F E R E N C E S 74
4 T U T O R I A L P R O G R A M S 75
4.1 G E T T I N G S T A R T E D 75
4.1.1 INPUT AND OUTPUT 75
4.1.2 DEFAULT VALUE 7 6
4.1.3 DATA BUFFER 77
4 . 2 B O O L E A N L O G I C 78
4 . 3 N U M E R I C A L R E A S O N I N G 79
4.3.1 INTEGER EQUATION 79
4.3.2 INFINITY 79
4 . 4 D A T E / T I M E 80
4 . 5 S T R I N G 82
4.5.1 STRING INPUT 82
4.5.2 CONCATENATION 82
4 . 6 R E F E R E N C I N G 84
4.6.1 REFERENCE IN A SUBSCRIPT 84
4.6.2 REFERENCED OPERATOR 87
4.6.3 SUBSCRIPT LEAK 89
4 . 7 S E T R E A S O N I N G 90
4.7.1 A GENERAL EXAMPLE 90
4.7.2 ATTRIBUTES O F A SET 9 0
4.7.3 PIECEWISE INTERVALS FROM A SET 91
4 . 8 S P E C I A L V A R I A B L E 91
4.8.1 ANONYMOUS VARIABLE 91
4.8.2 SYSTEM VARIABLE 92
4 . 9 P R E D E F I N E D F U N C T I O N 93
4.9.1 FLOAT FUNCTION 93
4.9.2 AGGREGATE FUNCTION 9 4
4.9.3 TRANSFORMATION 97
4.9.4 SUBSTRING 9 5
4.9.5 ELEMENTS O F A SET 97
4.9.6 DATE/TIME ATTRIBUTE 98
IMAGE 3
CONTENTS IX
4.9.7 EXTRACTION 101
4.9.8 ASSIGNMENT 103
4 . 1 0 U S E R - D E F I N E D F U N C T I O N 103
4.10.1 COTANGENT 103
4.10.2 GLOBAL VARIABLE IN A FUNCTION 104
4.10.3 QUERY AND OBJECTIVE IN A FUNCTION 104
4.10.4 PREDICATE 105
4.10.5 RECURSIVE FUNCTION 106
4.10.6 TERMINATION O F A RECURSION 107
4.10.7 TREE ; 107
4 . 1 1 S E L E C T I O N S T A T E M E N T 108
4.11.1 SWITCH 108
4.11.2 IF-THEN-ELSE 110
4 . 1 2 Q U A N T I F I C A T I O N I L L
4.12.1 EXISTENTIAL QUANTIFICATION I L L
4.12.2 UNIVERSAL QUANTIFICATION 113
4 . 1 3 J U M P 114
4.13.1 EXIT FROM A UNIVERSALLY QUANTIFIED STATEMENT 114
4.13.2 EXIT FROM AN INFINITE LOOP 115
4 . 1 4 Q U E R Y A N D S E A R C H 115
4.14.1 APPROXIMATE SOLUTION 115
4.14.2 SEARCH OVER A FLOAT DOMAIN 116
4 . 1 5 O P T I M I Z A T I O N O B J E C T I V E 117
4.15.1 SINGLE-OBJECTIVE OPTIMIZATION 117
4.15.2 MULTIPLE-OBJECTIVE OPTIMIZATION 117
4 . 1 6 C U S T O M M E S S A G E 118
4 . 1 7 S O F T C O N S T R A I N T 119
4 . 1 8 SUB-MODEL 119
4.18.1 SUB-MODEL IN A FILE 119
4.18.2 SUB-MODEL IN A BUFFER 121
4.18.3 RETURN VALUES O F A SUB-MODEL 122
4.18.4 RECURSIVE SUB-MODEL 122
4.18.5 OVERFLOW IN CALLING A SUB-MODEL 123
4 . 1 9 SQL Q U E R Y 123
4 . 2 0 O S C O M M A N D 126
4 . 2 1 E X P E C T A T I O N A N D D E B U G G I N G 126
5 T H E POEM S O F T W A R E P L A T F O R M 129
5.1 MAIN I N T E R F A C E 129
5.1.1 TOOL BAR 130
5.1.2 T E X B A R 130
5.1.3 WORKSPACE 131
5.1.4 EDIT WINDOW 131
IMAGE 4
X THE N C L NATURAL CONSTRAINT LANGUAGE
5.1.5 TRACE WINDOW 131
5 . 2 C O N F I G U R A T I O N O F A P R O J E C T 132
5.2.1 DATA POOLS FOR A PROJECT 132
5.2.2 NCL PARAMETERS 132
5.2.3 PROJECT SETTINGS 136
5 . 3 MODEL M A N A G E M E N T 138
5.3.1 MODEL FOLDER 138
5.3.2 MODEL LIBRARY 138
5 . 4 I N F O R M A T I O N T A B L E S 138
5.4.1 RUNNING MODELS 139
5.4.2 CONSTANTS 139
5.4.3 VARIABLES 140
5.4.4 CONSTRAINTS 141
5 . 5 V I S U A L I Z A T I O N A N D D E B U G G I N G 142
5.5.1 QUICK WATCH 142
5.5.2 BROWSER 142
5.5.3 CONSTRAINT DEBUGGER 143
5.5.4 VISUAL DEBUGGER 144
5.5.5 SOLUTION VIEWER 145
5 . 6 T R A C E W I N D O W A N D W O R K I N G M O D E S 146
5.6.1 DEBUG MODE 146
5.6.2 TIMER MODE 146
5.6.3 TRACE LEVEL 147
5.6.4 OPTIONS FOR DIAGNOSIS 147
5.6.5 OPTIONS FOR STATISTICS 147
5.6.6 RECOMMENDED DIAGNOSIS MODE 148
5.6.7 RECOMMENDED WORKING MODE 148
5 . 7 M E S S A G E M A N A G E M E N T 148
5.7.1 MESSAGE LEVELS 148
5.7.2 MESSAGE TYPES 149
5.7.3 MESSAGE CODES 149
5.7.4 MESSAGE HANDLER 150
5.7.5 TERMINATION STATUS 151
5 . 8 H E L P O N LINE 152
5 . 9 C O M P O N E N T A N D S E R V E R 152
6 M O D E L I N G A N D S O L V I N G 153
6.1 D E V E L O P M E N T P R I N C I P L E S 153
6.1.1 GENERALITY 153
6.1.2 DATA MODELING 154
6.1.3 MODELING CONSTRAINTS AND OBJECTIVES 156
6.1.4 MODELING QUERIES 156
6.1.5 TEST AND BENCHMARKING 158
IMAGE 5
CONTENTS XI
6.1.6 DIAGNOSING A MODEL 158
6 . 2 MODELING A B S T R A C T I O N 160
6.2.1 DISTINCT INTEGERS 161
6.2.2 DISJOINT SETS 161
6.2.3 SORTING 161
6.2.4 SET COVERING 164
6.2.5 PACKING 165
6.2.6 SUM 167
6.2.7 CUMULATION 167
6 . 3 SOLVING P U Z Z L E S 168
6.3.1 SEND MORE MONEY 168
6.3.2 PRIMES 169
6.3.3 INTEGER SORTING 170
6.3.4 QUEENS 170
6.3.5 MAGIC SQUARE 171
6.3.6 SUDOKU 173
6.3.7 MAGIC SEQUENCE 175
6.3.8 EINSTEIN'S QUIZ 175
6.3.9 CALCULS D'ENFER 177
6.3.10 SQUARE PACKING 179
6.3.11 KNIGHT 180
6 . 4 SOLVING H A R D P R O B L E M S 184
6.4.1 SET PARTITIONING 184
6.4.2 GOLF TOURNAMENT 185
6.4.3 PROGRESSIVE PARTY 188
6.4.4 SHIP LOADING 192
6.4.5 JOB-SHOP SCHEDULING 196
6.4.6 MINIMIZING THE COST OF A HEAT EXCHANGER 200
6.4.7 PICK-UP AND DELIVERY 202
6.4.8 EXERCISES 211
R E F E R E N C E S 211
7 I N D U S T R I A L A P P L I C A T I O N S 213
7.1 C O M P L E X I T Y O F I N D U S T R I A L P R O B L E M S 213
7 . 2 P R O D U C T I O N S C H E D U L I N G 213
7.2.1 PROBLEM DEFINITION 213
7.2.2 DATA MODEL 215
7.2.3 SIMPLIFIED OPTIMIZATION MODEL 220
7.2.4 VISUALIZING TIME: GANTT CHART 226
7.2.5 QUESTIONS 226
7 . 3 P E R S O N N E L P L A N N I N G 227
7.3.1 PROBLEM DEFINITION 227
7.3.2 DATA MODEL 228
7.3.3 SIMPLIFIED OPTIMIZATION MODEL 234
IMAGE 6
XII THE N C L NATURAL CONSTRAINT LANGUAGE
7.3.4 VISUALIZING STATISTICS: HISTOGRAM 241
7.3.5 QUESTIONS 241
7 . 4 MULTI-MODAL T R A N S P O R T A T I O N P L A N N I N G 241
7.4.1 PROBLEM DEFINITION 241
7.4.2 DATA MODEL 242
7.4.3 SIMPLIFIED OPTIMIZATION MODEL 247
7.4.4 VISUALIZING GEOGRAPHICAL INFORMATION: MAP 256
7.4.5 QUESTIONS 257
R E F E R E N C E S 257
8 R E L A X A T I O N A N D D E C O M P O S I T I O N 259
8.1 L O C A L O P T I M I Z A T I O N B Y R E L A X A T I O N 259
8.1.1 RELAXATION AND INTERACTION 259
8.1.2 LOCAL OPTIMIZATION 260
8.1.3 ITERATIVE OPTIMIZATION FOR TSP 260
8 . 2 SOLVING B Y D E C O M P O S I T I O N 267
8.2.1 SOLVING BY MODEL DECOMPOSITION 268
8.2.2 MODEL DECOMPOSITION FOR VEHICLE ROUTING 268
8.2.3 SOLVING BY DATA DECOMPOSITION 270
8.2.4 DATA DECOMPOSITION FOR PRODUCTION SCHEDULING 270
R E F E R E N C E S 274
A P P E N D I X 1 T H E G R A M M A R IN T E X 275
O V E R A L L S T R U C T U R E 275
D E C L A R A T I O N 276
EXPLICIT TYPING 276
FUNCTION DEFINITION 276
LABEL 276
E L E M E N T A R Y S T A T E M E N T 276
CONSTRAINT 276
ASSIGNMENT 278
OPTIMIZATION OBJECTIVE 278
QUERY AND SEARCH 279
ENUMERATION MODE 276
QUERY CRITERION 276
OUTPUT 280
DATA FORMAT 277
EXPECTATION 280
C O N T R O L 281
COMPOUND STATEMENT .281
GROUPED STATEMENT 278
INCLUDED FILE 278
SOFT STATEMENT 278
IMAGE 7
CONTENTS XIII
CUSTOM MESSAGE 278
SELECTION 281
SWITCH 278
IF-THEN-ELSE 279
QUANTIFICATION 282
EXISTENTIAL QUANTIFICATION 279
UNIVERSAL QUANTIFICATION 279
INDEXING 279
JUMP 283
DATA CONNECTION 283
E X P R E S S I O N 284
BOOLEAN 284
FLOAT 284
INTEGER 285
DATE/TIME 286
STRING 287
GROUPED STRING 284
CONCATENATION 284
REFERENCE 287
SET 288
CONSTANT 291
VARIABLE 291
SYSTEM VARIABLE 289
INPUT 290
EXTRACTION 293
FUNCTION 294
DATA POOL 294
SUB-MODEL 295
SQL QUERY 295
OS COMMAND 295
A P P E N D I X 2 T H E C O M P O E M C O M P O N E N T 297
D E S C R I P T I O N 297
P R O P E R T I E S 297
F U N C T I O N S 297
E V E N T S 299
I N D E X 301 |
any_adam_object | 1 |
author | Zhou, Jianying |
author_facet | Zhou, Jianying |
author_role | aut |
author_sort | Zhou, Jianying |
author_variant | j z jz |
building | Verbundindex |
bvnumber | BV040494100 |
classification_rvk | SK 130 |
ctrlnum | (OCoLC)821177620 (DE-599)DNB101424997X |
dewey-full | 005.133 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.133 |
dewey-search | 005.133 |
dewey-sort | 15.133 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV040494100</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130926</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">121019s2012 gw ad|| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101424997X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642238444</subfield><subfield code="9">978-3-642-23844-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642238440</subfield><subfield code="9">3-642-23844-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)821177620</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101424997X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhou, Jianying</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The NCL Natural Constraint Language</subfield><subfield code="c">Jianyang Zhou</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer [u.a.]</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 311 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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="0" ind2="7"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Erfüllung</subfield><subfield code="0">(DE-588)4580374-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">NP-hartes Problem</subfield><subfield code="0">(DE-588)4621705-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareplattform</subfield><subfield code="0">(DE-588)4702244-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontextsensitive Sprache</subfield><subfield code="0">(DE-588)4704267-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">NP-hartes Problem</subfield><subfield code="0">(DE-588)4621705-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Constraint-Erfüllung</subfield><subfield code="0">(DE-588)4580374-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Kontextsensitive Sprache</subfield><subfield code="0">(DE-588)4704267-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Softwareplattform</subfield><subfield code="0">(DE-588)4702244-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3866331&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=025341022&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025341022</subfield></datafield></record></collection> |
id | DE-604.BV040494100 |
illustrated | Illustrated |
indexdate | 2024-09-06T00:24:27Z |
institution | BVB |
isbn | 9783642238444 3642238440 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025341022 |
oclc_num | 821177620 |
open_access_boolean | |
owner | DE-11 DE-573 |
owner_facet | DE-11 DE-573 |
physical | XIII, 311 S. Ill., graph. Darst. 235 mm x 155 mm |
publishDate | 2012 |
publishDateSearch | 2012 |
publishDateSort | 2012 |
publisher | Springer [u.a.] |
record_format | marc |
spelling | Zhou, Jianying Verfasser aut The NCL Natural Constraint Language Jianyang Zhou Heidelberg [u.a.] Springer [u.a.] 2012 XIII, 311 S. Ill., graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf Constraint-Erfüllung (DE-588)4580374-2 gnd rswk-swf NP-hartes Problem (DE-588)4621705-8 gnd rswk-swf Softwareplattform (DE-588)4702244-9 gnd rswk-swf Kontextsensitive Sprache (DE-588)4704267-9 gnd rswk-swf Problemlösen (DE-588)4076358-4 gnd rswk-swf Constraint-logische Programmierung (DE-588)4382849-8 gnd rswk-swf Problemlösen (DE-588)4076358-4 s NP-hartes Problem (DE-588)4621705-8 s Constraint-Erfüllung (DE-588)4580374-2 s Deklarative Programmiersprache (DE-588)4293502-7 s Constraint-logische Programmierung (DE-588)4382849-8 s Kontextsensitive Sprache (DE-588)4704267-9 s Softwareplattform (DE-588)4702244-9 s DE-604 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3866331&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025341022&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Zhou, Jianying The NCL Natural Constraint Language Deklarative Programmiersprache (DE-588)4293502-7 gnd Constraint-Erfüllung (DE-588)4580374-2 gnd NP-hartes Problem (DE-588)4621705-8 gnd Softwareplattform (DE-588)4702244-9 gnd Kontextsensitive Sprache (DE-588)4704267-9 gnd Problemlösen (DE-588)4076358-4 gnd Constraint-logische Programmierung (DE-588)4382849-8 gnd |
subject_GND | (DE-588)4293502-7 (DE-588)4580374-2 (DE-588)4621705-8 (DE-588)4702244-9 (DE-588)4704267-9 (DE-588)4076358-4 (DE-588)4382849-8 |
title | The NCL Natural Constraint Language |
title_auth | The NCL Natural Constraint Language |
title_exact_search | The NCL Natural Constraint Language |
title_full | The NCL Natural Constraint Language Jianyang Zhou |
title_fullStr | The NCL Natural Constraint Language Jianyang Zhou |
title_full_unstemmed | The NCL Natural Constraint Language Jianyang Zhou |
title_short | The NCL Natural Constraint Language |
title_sort | the ncl natural constraint language |
topic | Deklarative Programmiersprache (DE-588)4293502-7 gnd Constraint-Erfüllung (DE-588)4580374-2 gnd NP-hartes Problem (DE-588)4621705-8 gnd Softwareplattform (DE-588)4702244-9 gnd Kontextsensitive Sprache (DE-588)4704267-9 gnd Problemlösen (DE-588)4076358-4 gnd Constraint-logische Programmierung (DE-588)4382849-8 gnd |
topic_facet | Deklarative Programmiersprache Constraint-Erfüllung NP-hartes Problem Softwareplattform Kontextsensitive Sprache Problemlösen Constraint-logische Programmierung |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=3866331&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025341022&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT zhoujianying thenclnaturalconstraintlanguage |