Finite domain constraints : declarativity meets efficiency - theory meets application

Bibliographische Detailangaben

Titel
Finite domain constraints declarativity meets efficiency - theory meets application
verantwortlich
Meyer, Manfred (VerfasserIn)
Schriftenreihe
Dissertationen zur künstlichen Intelligenz ; 79
Hochschulschriftenvermerk
Zugl.: Kaiserslautern, Univ., Diss., 1994 (Nicht für den Austausch)
veröffentlicht
Sankt Augustin: Infix, 1995
Erscheinungsjahr
1995
Teil von
Dissertationen zur künstlichen Intelligenz ; 79
Medientyp
Buch Hochschulschrift
Datenquelle
K10plus Verbundkatalog
Tags
Tag hinzufügen

Zugang

Weitere Informationen sehen Sie, wenn Sie angemeldet sind. Noch keinen Account? Jetzt registrieren.

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 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fkatalog.fid-bbi.de%3Agenerator&rft.title=Finite+domain+constraints%3A+declarativity+meets+efficiency+-+theory+meets+application&rft.date=1995&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Finite+domain+constraints%3A+declarativity+meets+efficiency+-+theory+meets+application&rft.series=Dissertationen+zur+k%C3%BCnstlichen+Intelligenz%2C+79&rft.au=Meyer%2C+Manfred&rft.pub=Infix&rft.edition=&rft.isbn=3929037793
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