Formal specification of complex reasoning systems:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
New York u.a.
Ellis Horwood
1993
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Ellis Horwood workshop series
|
| Schlagworte: | |
| Beschreibung: | VIII, 282 S. graph. Darst. |
| ISBN: | 0133367851 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008872102 | ||
| 003 | DE-604 | ||
| 005 | 20220922 | ||
| 007 | t| | ||
| 008 | 940202s1993 xx d||| |||| 10||| eng d | ||
| 020 | |a 0133367851 |9 0-13-336785-1 | ||
| 035 | |a (OCoLC)28424556 | ||
| 035 | |a (DE-599)BVBBV008872102 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29 |a DE-188 | ||
| 050 | 0 | |a QA76.76.E95 | |
| 082 | 0 | |a 006.3/3 |2 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 245 | 1 | 0 | |a Formal specification of complex reasoning systems |c Jan Treur ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a New York u.a. |b Ellis Horwood |c 1993 | |
| 300 | |a VIII, 282 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Ellis Horwood workshop series | |
| 650 | 7 | |a Expertsystemen |2 gtt | |
| 650 | 7 | |a KADS |2 inriac | |
| 650 | 7 | |a Logiciels - Développement - Congrès |2 ram | |
| 650 | 7 | |a Software |2 gtt | |
| 650 | 7 | |a Systèmes experts (informatique) - Congrès |2 ram | |
| 650 | 7 | |a langage spécification |2 inriac | |
| 650 | 7 | |a ordonnancement tâche |2 inriac | |
| 650 | 7 | |a raisonnement |2 inriac | |
| 650 | 7 | |a spécification formelle |2 inriac | |
| 650 | 7 | |a système base connaissance |2 inriac | |
| 650 | 7 | |a système complexe |2 inriac | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a Expert systems (Computer science) |v Congresses | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Wien |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Treur, Jan |d 1952- |e Sonstige |0 (DE-588)1119267161 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005867454 | |
Datensatz im Suchindex
| _version_ | 1820868128488292352 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1119267161 |
| building | Verbundindex |
| bvnumber | BV008872102 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.E95 |
| callnumber-search | QA76.76.E95 |
| callnumber-sort | QA 276.76 E95 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 285 |
| ctrlnum | (OCoLC)28424556 (DE-599)BVBBV008872102 |
| dewey-full | 006.3/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/3 |
| dewey-search | 006.3/3 |
| dewey-sort | 16.3 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| 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">BV008872102</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220922</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940202s1993 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0133367851</subfield><subfield code="9">0-13-336785-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28424556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008872102</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-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.E95</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/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="245" ind1="1" ind2="0"><subfield code="a">Formal specification of complex reasoning systems</subfield><subfield code="c">Jan Treur ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Ellis Horwood</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 282 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">Ellis Horwood workshop series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Expertsystemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">KADS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes experts (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage spécification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ordonnancement tâche</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système base connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système complexe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield><subfield code="v">Congresses</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="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Wien</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="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Treur, Jan</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1119267161</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005867454</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Wien gnd-content |
| genre_facet | Konferenzschrift 1992 Wien |
| id | DE-604.BV008872102 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:27Z |
| institution | BVB |
| isbn | 0133367851 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005867454 |
| oclc_num | 28424556 |
| open_access_boolean | |
| owner | DE-739 DE-29 DE-188 |
| owner_facet | DE-739 DE-29 DE-188 |
| physical | VIII, 282 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Ellis Horwood |
| record_format | marc |
| series2 | Ellis Horwood workshop series |
| spelling | Formal specification of complex reasoning systems Jan Treur ... 1. publ. New York u.a. Ellis Horwood 1993 VIII, 282 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Ellis Horwood workshop series Expertsystemen gtt KADS inriac Logiciels - Développement - Congrès ram Software gtt Systèmes experts (informatique) - Congrès ram langage spécification inriac ordonnancement tâche inriac raisonnement inriac spécification formelle inriac système base connaissance inriac système complexe inriac Computer software Development Congresses Expert systems (Computer science) Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Wien gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Softwarespezifikation (DE-588)4056186-0 s DE-604 Treur, Jan 1952- Sonstige (DE-588)1119267161 oth |
| spellingShingle | Formal specification of complex reasoning systems Expertsystemen gtt KADS inriac Logiciels - Développement - Congrès ram Software gtt Systèmes experts (informatique) - Congrès ram langage spécification inriac ordonnancement tâche inriac raisonnement inriac spécification formelle inriac système base connaissance inriac système complexe inriac Computer software Development Congresses Expert systems (Computer science) Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4056186-0 (DE-588)1071861417 |
| title | Formal specification of complex reasoning systems |
| title_auth | Formal specification of complex reasoning systems |
| title_exact_search | Formal specification of complex reasoning systems |
| title_full | Formal specification of complex reasoning systems Jan Treur ... |
| title_fullStr | Formal specification of complex reasoning systems Jan Treur ... |
| title_full_unstemmed | Formal specification of complex reasoning systems Jan Treur ... |
| title_short | Formal specification of complex reasoning systems |
| title_sort | formal specification of complex reasoning systems |
| topic | Expertsystemen gtt KADS inriac Logiciels - Développement - Congrès ram Software gtt Systèmes experts (informatique) - Congrès ram langage spécification inriac ordonnancement tâche inriac raisonnement inriac spécification formelle inriac système base connaissance inriac système complexe inriac Computer software Development Congresses Expert systems (Computer science) Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| topic_facet | Expertsystemen KADS Logiciels - Développement - Congrès Software Systèmes experts (informatique) - Congrès langage spécification ordonnancement tâche raisonnement spécification formelle système base connaissance système complexe Computer software Development Congresses Expert systems (Computer science) Congresses Künstliche Intelligenz Softwarespezifikation Konferenzschrift 1992 Wien |
| work_keys_str_mv | AT treurjan formalspecificationofcomplexreasoningsystems |