|
|
|
|
LEADER |
03305cam a2200721 4500 |
001 |
183-180347446 |
003 |
DE-627 |
005 |
20221222191325.0 |
007 |
tu |
008 |
950120s1995 gw ||||| m 00| ||eng c |
015 |
|
|
|a 95,N05,0465
|2 dnb
|
015 |
|
|
|a 96,A38,0776
|2 dnb
|
016 |
7 |
|
|a 943240816
|2 DE-101
|
020 |
|
|
|a 3929037793
|c : DM 48.00, sfr 48.00, S 380.00 (kart.)
|9 3-929037-79-3
|
035 |
|
|
|a (DE-627)180347446
|
035 |
|
|
|a (DE-576)048966614
|
035 |
|
|
|a (DE-599)GBV180347446
|
035 |
|
|
|a (OCoLC)636815368
|
035 |
|
|
|a (OCoLC)36128941
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|a ger
|
044 |
|
|
|c XA-DE
|
084 |
|
|
|a 28
|2 sdnb
|
084 |
|
|
|a ST 300
|2 rvk
|0 (DE-625)rvk/143650:
|
084 |
|
|
|a 54.72
|2 bkl
|
100 |
1 |
|
|a Meyer, Manfred
|d 1963-
|0 (DE-588)132358506
|0 (DE-627)690528701
|0 (DE-576)299095983
|4 aut
|
245 |
1 |
0 |
|a Finite domain constraints
|b declarativity meets efficiency - theory meets application
|c Manfred Meyer
|
263 |
|
|
|a kart. : DM 48.00, sfr 48.00, S 380.00
|
264 |
|
1 |
|a Sankt Augustin
|b Infix
|c 1995
|
300 |
|
|
|a 167 S
|b Ill., graph. Darst
|c 21 cm
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a ohne Hilfsmittel zu benutzen
|b n
|2 rdamedia
|
338 |
|
|
|a Band
|b nc
|2 rdacarrier
|
490 |
1 |
|
|a Dissertationen zur künstlichen Intelligenz
|v 79
|
502 |
|
|
|a Zugl.: Kaiserslautern, Univ., Diss., 1994 (Nicht für den Austausch)
|
583 |
1 |
|
|a Archivierung prüfen
|c 20221111
|f DE-640
|z 1
|2 pdager
|
655 |
|
7 |
|a Hochschulschrift
|0 (DE-588)4113937-9
|0 (DE-627)105825778
|0 (DE-576)209480580
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4314755-0
|0 (DE-627)126504768
|0 (DE-576)211167258
|a Constraint
|g Künstliche Intelligenz
|2 gnd
|
689 |
0 |
|
|5 DE-101
|
689 |
1 |
0 |
|D s
|0 (DE-588)4382849-8
|0 (DE-627)187131228
|0 (DE-576)211858560
|a Constraint-logische Programmierung
|2 gnd
|
689 |
1 |
|
|5 DE-101
|
689 |
2 |
0 |
|D s
|0 (DE-588)4314755-0
|0 (DE-627)126504768
|0 (DE-576)211167258
|a Constraint
|g Künstliche Intelligenz
|2 gnd
|
689 |
2 |
|
|5 (DE-627)
|
689 |
3 |
0 |
|D s
|0 (DE-588)4382849-8
|0 (DE-627)187131228
|0 (DE-576)211858560
|a Constraint-logische Programmierung
|2 gnd
|
689 |
3 |
|
|5 (DE-627)
|
751 |
|
|
|a Kaiserslautern
|0 (DE-588)4029261-7
|0 (DE-627)106274929
|0 (DE-576)20898187X
|4 uvp
|
830 |
|
0 |
|a Dissertationen zur künstlichen Intelligenz
|v 79
|9 79
|w (DE-627)131071416
|w (DE-576)027881849
|w (DE-600)1110528-8
|x 0941-5769
|7 ns
|
924 |
0 |
|
|a 223965669
|b DE-18
|9 18
|c GBV
|d d
|g R28252
|h 18/228
|
924 |
0 |
|
|a 163776415
|b DE-830
|9 830
|c GBV
|d c
|g 2763-6680
|h 27
|
924 |
0 |
|
|a 239585194
|b DE-8
|9 8
|c GBV
|d d
|g MEYE R-29459
|h 8/60a
|
924 |
0 |
|
|a 174366361
|b DE-89
|9 89
|c GBV
|d c
|g RA 9708(79)
|h Haus2
|
924 |
0 |
|
|a 159706823
|b DE-700
|9 700
|c GBV
|d c
|g BFL X / Mey
|h N
|
924 |
0 |
|
|a 308963807X
|b DE-291-407
|9 291/407
|c BSZ
|d b
|
924 |
0 |
|
|a 3089638150
|b DE-14
|9 14
|c BSZ
|d c
|g 2001 8 012702
|
924 |
0 |
|
|a 3089638290
|b DE-93
|9 93
|c BSZ
|d c
|g Diss. 1996/4232
|
924 |
0 |
|
|a 3089638355
|b DE-Ch1
|9 Ch 1
|c BSZ
|d c
|g SQ 2094 dki 79
|
924 |
0 |
|
|a 308963841X
|b DE-L189
|9 L 189
|c BSZ
|d c
|
924 |
0 |
|
|a 3089638576
|b DE-Sa18
|9 Sa 18
|c BSZ
|d b
|
935 |
|
|
|i Blocktest
|
936 |
r |
v |
|a ST 300
|b Allgemeines
|k Informatik
|k Monografien
|k Künstliche Intelligenz
|k Allgemeines
|0 (DE-627)1271119005
|0 (DE-625)rvk/143650:
|0 (DE-576)201119005
|
936 |
b |
k |
|a 54.72
|j Künstliche Intelligenz
|0 (DE-627)10641240X
|
951 |
|
|
|a BO
|
980 |
|
|
|a 180347446
|b 183
|c sid-183-col-kxpbbi
|
SOLR
_version_ |
1797789870787133440 |
author |
Meyer, Manfred |
author_facet |
Meyer, Manfred |
author_role |
aut |
author_sort |
Meyer, Manfred 1963- |
author_variant |
m m mm |
building |
Library A |
collection |
sid-183-col-kxpbbi |
ctrlnum |
(DE-627)180347446, (DE-576)048966614, (DE-599)GBV180347446, (OCoLC)636815368, (OCoLC)36128941 |
facet_avail |
Local |
facet_local_del330 |
Constraint, Constraint-logische Programmierung |
finc_class_facet |
Informatik |
fincclass_txtF_mv |
science-computerscience |
format |
Book, Thesis |
format_access_txtF_mv |
Thesis |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-print-monograph-independent-thesis |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book, Thesis |
format_legacy |
Book |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
Thesis |
genre |
Hochschulschrift (DE-588)4113937-9 (DE-627)105825778 (DE-576)209480580 gnd-content |
genre_facet |
Hochschulschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
hierarchy_parent_id |
183-131071416 |
hierarchy_parent_title |
Dissertationen zur künstlichen Intelligenz |
hierarchy_sequence |
79 |
hierarchy_top_id |
183-131071416 |
hierarchy_top_title |
Dissertationen zur künstlichen Intelligenz |
id |
183-180347446 |
illustrated |
Illustrated |
imprint |
Sankt Augustin, Infix, 1995 |
imprint_str_mv |
Sankt Augustin: Infix, 1995 |
institution |
FID-BBI-DE-23 |
is_hierarchy_id |
183-180347446 |
is_hierarchy_title |
Finite domain constraints: declarativity meets efficiency - theory meets application |
isbn |
3929037793 |
issn_isn_mv |
0941-5769 |
language |
English, German |
last_indexed |
2024-04-30T19:40:26.019Z |
marc_error |
[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @64e01542 |
match_str |
meyer1995finitedomainconstraintsdeclarativitymeetsefficiencytheorymeetsapplication |
mega_collection |
K10plus Verbundkatalog |
multipart_link |
027881849 |
multipart_part |
(027881849)79 |
oclc_num |
636815368, 36128941 |
physical |
167 S; Ill., graph. Darst; 21 cm |
publishDate |
1995 |
publishDateSort |
1995 |
publishPlace |
Sankt Augustin |
publisher |
Infix |
record_format |
marcfinc |
record_id |
180347446 |
recordtype |
marcfinc |
rvk_facet |
ST 300 |
rvk_label |
Informatik, Monografien, Künstliche Intelligenz, Allgemeines |
rvk_path |
ST, SQ - SU, ST 300, ST 300 - ST 308 |
rvk_path_str_mv |
ST, SQ - SU, ST 300, ST 300 - ST 308 |
series |
Dissertationen zur künstlichen Intelligenz, 79 |
series2 |
Dissertationen zur künstlichen Intelligenz ; 79 |
source_id |
183 |
spelling |
Meyer, Manfred 1963- (DE-588)132358506 (DE-627)690528701 (DE-576)299095983 aut, Finite domain constraints declarativity meets efficiency - theory meets application Manfred Meyer, kart. : DM 48.00, sfr 48.00, S 380.00, Sankt Augustin Infix 1995, 167 S Ill., graph. Darst 21 cm, Text txt rdacontent, ohne Hilfsmittel zu benutzen n rdamedia, Band nc rdacarrier, Dissertationen zur künstlichen Intelligenz 79, Zugl.: Kaiserslautern, Univ., Diss., 1994 (Nicht für den Austausch), Archivierung prüfen 20221111 DE-640 1 pdager, Hochschulschrift (DE-588)4113937-9 (DE-627)105825778 (DE-576)209480580 gnd-content, s (DE-588)4314755-0 (DE-627)126504768 (DE-576)211167258 Constraint Künstliche Intelligenz gnd, DE-101, s (DE-588)4382849-8 (DE-627)187131228 (DE-576)211858560 Constraint-logische Programmierung gnd, (DE-627), Kaiserslautern (DE-588)4029261-7 (DE-627)106274929 (DE-576)20898187X uvp, Dissertationen zur künstlichen Intelligenz 79 79 (DE-627)131071416 (DE-576)027881849 (DE-600)1110528-8 0941-5769 ns |
spellingShingle |
Meyer, Manfred, Finite domain constraints: declarativity meets efficiency - theory meets application, Dissertationen zur künstlichen Intelligenz, 79, Hochschulschrift, Constraint Künstliche Intelligenz, Constraint-logische Programmierung |
title |
Finite domain constraints: declarativity meets efficiency - theory meets application |
title_auth |
Finite domain constraints declarativity meets efficiency - theory meets application |
title_full |
Finite domain constraints declarativity meets efficiency - theory meets application Manfred Meyer |
title_fullStr |
Finite domain constraints declarativity meets efficiency - theory meets application Manfred Meyer |
title_full_unstemmed |
Finite domain constraints declarativity meets efficiency - theory meets application Manfred Meyer |
title_in_hierarchy |
79. Finite domain constraints: declarativity meets efficiency - theory meets application (1995) |
title_short |
Finite domain constraints |
title_sort |
finite domain constraints declarativity meets efficiency - theory meets application |
title_sub |
declarativity meets efficiency - theory meets application |
title_unstemmed |
Finite domain constraints: declarativity meets efficiency - theory meets application |
topic |
Hochschulschrift, Constraint Künstliche Intelligenz, Constraint-logische Programmierung |
topic_facet |
Hochschulschrift, Constraint, Constraint-logische Programmierung |
work_keys_str_mv |
AT meyermanfred finitedomainconstraintsdeclarativitymeetsefficiencytheorymeetsapplication |