Constraint-based reasoning:
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Cambridge, Mass. [u.a.]
MIT Press
1994
|
Ausgabe: | 1. MIT Press ed. |
Schriftenreihe: | A Bradford book
|
Schlagworte: | |
Beschreibung: | Aus: Artificial intelligence ; 58,1/3 |
Beschreibung: | 403 S. graph. Darst. |
ISBN: | 0262560755 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV009697290 | ||
003 | DE-604 | ||
005 | 20140218 | ||
007 | t | ||
008 | 940713s1994 d||| |||| 00||| eng d | ||
020 | |a 0262560755 |9 0-262-56075-5 | ||
035 | |a (OCoLC)28336593 | ||
035 | |a (DE-599)BVBBV009697290 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-20 |a DE-29T |a DE-19 |a DE-739 |a DE-523 |a DE-634 |a DE-11 | ||
050 | 0 | |a Q340 | |
082 | 0 | |a 006.3 |2 20 | |
084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
245 | 1 | 0 | |a Constraint-based reasoning |c ed. by Eugene C. Freuder ... |
250 | |a 1. MIT Press ed. | ||
264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 1994 | |
300 | |a 403 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a A Bradford book | |
500 | |a Aus: Artificial intelligence ; 58,1/3 | ||
650 | 7 | |a Beperkingen |2 gtt | |
650 | 4 | |a Contraintes (Intelligence artificielle) | |
650 | 7 | |a Contraintes (intelligence artificielle) |2 ram | |
650 | 7 | |a Intelligence artificielle |2 ram | |
650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
650 | 4 | |a Raisonnement | |
650 | 7 | |a Raisonnement |2 ram | |
650 | 7 | |a Redeneren |2 gtt | |
650 | 4 | |a Künstliche Intelligenz | |
650 | 4 | |a Constraints (Artificial intelligence) | |
650 | 4 | |a Reasoning | |
650 | 0 | 7 | |a Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
689 | 1 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Freuder, Eugene C. |e Sonstige |4 oth | |
999 | |a oai:aleph.bib-bvb.de:BVB01-006414152 |
Datensatz im Suchindex
_version_ | 1804124043791564800 |
---|---|
any_adam_object | |
building | Verbundindex |
bvnumber | BV009697290 |
callnumber-first | Q - Science |
callnumber-label | Q340 |
callnumber-raw | Q340 |
callnumber-search | Q340 |
callnumber-sort | Q 3340 |
callnumber-subject | Q - General Science |
classification_rvk | ST 285 ST 300 |
ctrlnum | (OCoLC)28336593 (DE-599)BVBBV009697290 |
dewey-full | 006.3 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 006 - Special computer methods |
dewey-raw | 006.3 |
dewey-search | 006.3 |
dewey-sort | 16.3 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
edition | 1. MIT Press ed. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01914nam a2200565 c 4500</leader><controlfield tag="001">BV009697290</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140218 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940713s1994 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262560755</subfield><subfield code="9">0-262-56075-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28336593</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009697290</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q340</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint-based reasoning</subfield><subfield code="c">ed. by Eugene C. Freuder ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. MIT Press ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">403 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="0" ind2=" "><subfield code="a">A Bradford book</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Aus: Artificial intelligence ; 58,1/3</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Beperkingen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Contraintes (Intelligence artificielle)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Contraintes (intelligence artificielle)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraints (Artificial intelligence)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Freuder, Eugene C.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006414152</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV009697290 |
illustrated | Illustrated |
indexdate | 2024-07-09T17:39:24Z |
institution | BVB |
isbn | 0262560755 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006414152 |
oclc_num | 28336593 |
open_access_boolean | |
owner | DE-20 DE-29T DE-19 DE-BY-UBM DE-739 DE-523 DE-634 DE-11 |
owner_facet | DE-20 DE-29T DE-19 DE-BY-UBM DE-739 DE-523 DE-634 DE-11 |
physical | 403 S. graph. Darst. |
publishDate | 1994 |
publishDateSearch | 1994 |
publishDateSort | 1994 |
publisher | MIT Press |
record_format | marc |
series2 | A Bradford book |
spelling | Constraint-based reasoning ed. by Eugene C. Freuder ... 1. MIT Press ed. Cambridge, Mass. [u.a.] MIT Press 1994 403 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier A Bradford book Aus: Artificial intelligence ; 58,1/3 Beperkingen gtt Contraintes (Intelligence artificielle) Contraintes (intelligence artificielle) ram Intelligence artificielle ram Kunstmatige intelligentie gtt Raisonnement Raisonnement ram Redeneren gtt Künstliche Intelligenz Constraints (Artificial intelligence) Reasoning Logischer Schluss (DE-588)4139983-3 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Logischer Schluss (DE-588)4139983-3 s Freuder, Eugene C. Sonstige oth |
spellingShingle | Constraint-based reasoning Beperkingen gtt Contraintes (Intelligence artificielle) Contraintes (intelligence artificielle) ram Intelligence artificielle ram Kunstmatige intelligentie gtt Raisonnement Raisonnement ram Redeneren gtt Künstliche Intelligenz Constraints (Artificial intelligence) Reasoning Logischer Schluss (DE-588)4139983-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
subject_GND | (DE-588)4139983-3 (DE-588)4033447-8 (DE-588)4143413-4 |
title | Constraint-based reasoning |
title_auth | Constraint-based reasoning |
title_exact_search | Constraint-based reasoning |
title_full | Constraint-based reasoning ed. by Eugene C. Freuder ... |
title_fullStr | Constraint-based reasoning ed. by Eugene C. Freuder ... |
title_full_unstemmed | Constraint-based reasoning ed. by Eugene C. Freuder ... |
title_short | Constraint-based reasoning |
title_sort | constraint based reasoning |
topic | Beperkingen gtt Contraintes (Intelligence artificielle) Contraintes (intelligence artificielle) ram Intelligence artificielle ram Kunstmatige intelligentie gtt Raisonnement Raisonnement ram Redeneren gtt Künstliche Intelligenz Constraints (Artificial intelligence) Reasoning Logischer Schluss (DE-588)4139983-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
topic_facet | Beperkingen Contraintes (Intelligence artificielle) Contraintes (intelligence artificielle) Intelligence artificielle Kunstmatige intelligentie Raisonnement Redeneren Künstliche Intelligenz Constraints (Artificial intelligence) Reasoning Logischer Schluss Aufsatzsammlung |
work_keys_str_mv | AT freudereugenec constraintbasedreasoning |