Reasoning assistant system EUODHILOS-II: operation manual
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Numazu [u.a.]
Inst. for Social Information Science
1995
|
| Series: | Research report / Institute for Social Information Science
95,19 |
| Subjects: | |
| Physical Description: | 59 S. Ill. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035146809 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 081107s1995 a||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)50701065 | ||
| 035 | |a (DE-599)BVBBV035146809 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.952 | |
| 088 | |a ISIS-RR-95-19E | ||
| 100 | 1 | |a Ohtani, Takeshi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reasoning assistant system EUODHILOS-II |b operation manual |c Takeshi Ohtani ; Hajime Sawamura ; Toshiro Minami |
| 264 | 1 | |a Numazu [u.a.] |b Inst. for Social Information Science |c 1995 | |
| 300 | |a 59 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Research report / Institute for Social Information Science |v 95,19 | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Logic design |x Data processing | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Sawamura, Hajime |e Verfasser |4 aut | |
| 700 | 1 | |a Minami, Toshiro |e Verfasser |4 aut | |
| 810 | 2 | |a Institute for Social Information Science |t Research report |v 95,19 |w (DE-604)BV035143428 |9 95,19 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016814100 | ||
Record in the Search Index
| _version_ | 1804138134200385536 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Ohtani, Takeshi Sawamura, Hajime Minami, Toshiro |
| author_facet | Ohtani, Takeshi Sawamura, Hajime Minami, Toshiro |
| author_role | aut aut aut |
| author_sort | Ohtani, Takeshi |
| author_variant | t o to h s hs t m tm |
| building | Verbundindex |
| bvnumber | BV035146809 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.952 |
| callnumber-search | QA76.952 |
| callnumber-sort | QA 276.952 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)50701065 (DE-599)BVBBV035146809 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01217nam a2200361 cb4500</leader><controlfield tag="001">BV035146809</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081107s1995 a||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50701065</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035146809</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.952</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">ISIS-RR-95-19E</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ohtani, Takeshi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning assistant system EUODHILOS-II</subfield><subfield code="b">operation manual</subfield><subfield code="c">Takeshi Ohtani ; Hajime Sawamura ; Toshiro Minami</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Numazu [u.a.]</subfield><subfield code="b">Inst. for Social Information Science</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">59 S.</subfield><subfield code="b">Ill.</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="1" ind2=" "><subfield code="a">Research report / Institute for Social Information Science</subfield><subfield code="v">95,19</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sawamura, Hajime</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Minami, Toshiro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Institute for Social Information Science</subfield><subfield code="t">Research report</subfield><subfield code="v">95,19</subfield><subfield code="w">(DE-604)BV035143428</subfield><subfield code="9">95,19</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016814100</subfield></datafield></record></collection> |
| id | DE-604.BV035146809 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:29:09Z |
| indexdate | 2024-07-09T21:23:21Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016814100 |
| oclc_num | 50701065 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 59 S. Ill. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Inst. for Social Information Science |
| record_format | marc |
| series2 | Research report / Institute for Social Information Science |
| spelling | Ohtani, Takeshi Verfasser aut Reasoning assistant system EUODHILOS-II operation manual Takeshi Ohtani ; Hajime Sawamura ; Toshiro Minami Numazu [u.a.] Inst. for Social Information Science 1995 59 S. Ill. txt rdacontent n rdamedia nc rdacarrier Research report / Institute for Social Information Science 95,19 Datenverarbeitung Logic design Data processing Logic programming Reasoning Sawamura, Hajime Verfasser aut Minami, Toshiro Verfasser aut Institute for Social Information Science Research report 95,19 (DE-604)BV035143428 95,19 |
| spellingShingle | Ohtani, Takeshi Sawamura, Hajime Minami, Toshiro Reasoning assistant system EUODHILOS-II operation manual Datenverarbeitung Logic design Data processing Logic programming Reasoning |
| title | Reasoning assistant system EUODHILOS-II operation manual |
| title_auth | Reasoning assistant system EUODHILOS-II operation manual |
| title_exact_search | Reasoning assistant system EUODHILOS-II operation manual |
| title_exact_search_txtP | Reasoning assistant system EUODHILOS-II operation manual |
| title_full | Reasoning assistant system EUODHILOS-II operation manual Takeshi Ohtani ; Hajime Sawamura ; Toshiro Minami |
| title_fullStr | Reasoning assistant system EUODHILOS-II operation manual Takeshi Ohtani ; Hajime Sawamura ; Toshiro Minami |
| title_full_unstemmed | Reasoning assistant system EUODHILOS-II operation manual Takeshi Ohtani ; Hajime Sawamura ; Toshiro Minami |
| title_short | Reasoning assistant system EUODHILOS-II |
| title_sort | reasoning assistant system euodhilos ii operation manual |
| title_sub | operation manual |
| topic | Datenverarbeitung Logic design Data processing Logic programming Reasoning |
| topic_facet | Datenverarbeitung Logic design Data processing Logic programming Reasoning |
| volume_link | (DE-604)BV035143428 |
| work_keys_str_mv | AT ohtanitakeshi reasoningassistantsystemeuodhilosiioperationmanual AT sawamurahajime reasoningassistantsystemeuodhilosiioperationmanual AT minamitoshiro reasoningassistantsystemeuodhilosiioperationmanual |