Computational aspects of an order-sorted logic with term declarations:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u. a.
Springer
1989
|
| Schriftenreihe: | Lecture notes in computer science
395.: Lecture notes in artificial intelligence. |
| Schlagworte: | |
| Beschreibung: | VIII, 171 S. |
| ISBN: | 3540517057 0387517057 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006123469 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 921030s1989 m||| 00||| eng d | ||
| 020 | |a 3540517057 |9 3-540-51705-7 | ||
| 020 | |a 0387517057 |9 0-387-51705-7 | ||
| 035 | |a (OCoLC)20318854 | ||
| 035 | |a (DE-599)BVBBV006123469 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-739 |a DE-20 |a DE-12 |a DE-384 |a DE-91G |a DE-19 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 549f |2 stub | ||
| 100 | 1 | |a Schmidt-Schauß, Manfred |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computational aspects of an order-sorted logic with term declarations |c M. Schmidt-Schauß |
| 264 | 1 | |a Berlin u. a. |b Springer |c 1989 | |
| 300 | |a VIII, 171 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 395.: Lecture notes in artificial intelligence. | |
| 502 | |a Zugl.: Kaiserslautern, Univ., Diss., 1988 | ||
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 4 | |a Tri (Informatique) | |
| 650 | 7 | |a Tri (Ordinateurs) |2 ram | |
| 650 | 4 | |a déduction automatique | |
| 650 | 4 | |a formalisme | |
| 650 | 4 | |a logique 1er ordre | |
| 650 | 4 | |a logique mathématique | |
| 650 | 4 | |a représentation connaissance | |
| 650 | 4 | |a résolution problème | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Sorting (Electronic computers) | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ordnungsrelation |0 (DE-588)4172733-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Geordnete Menge |0 (DE-588)4156748-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehrsortige Prädikatenlogik |0 (DE-588)4169324-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Unifikationstheorie |0 (DE-588)4186894-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ordnungssortierte Logik |0 (DE-588)4230952-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Transformation |g Mathematik |0 (DE-588)4060637-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 655 | 7 | |a Ordnungsorientierte Logik |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Ordnungsorientierte Logik |A f |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Geordnete Menge |0 (DE-588)4156748-1 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 2 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Unifikationstheorie |0 (DE-588)4186894-8 |D s |
| 689 | 2 | 1 | |a Ordnungssortierte Logik |0 (DE-588)4230952-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Mehrsortige Prädikatenlogik |0 (DE-588)4169324-3 |D s |
| 689 | 3 | 1 | |a Ordnungsrelation |0 (DE-588)4172733-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 4 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 4 | |8 1\p |5 DE-604 | |
| 689 | 5 | 0 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 5 | |8 2\p |5 DE-604 | |
| 689 | 6 | 0 | |a Transformation |g Mathematik |0 (DE-588)4060637-5 |D s |
| 689 | 6 | |8 3\p |5 DE-604 | |
| 830 | 0 | |a Lecture notes in computer science |v 395.: Lecture notes in artificial intelligence. |w (DE-604)BV000000607 |9 395 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003868715 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804120347248689152 |
|---|---|
| any_adam_object | |
| author | Schmidt-Schauß, Manfred |
| author_facet | Schmidt-Schauß, Manfred |
| author_role | aut |
| author_sort | Schmidt-Schauß, Manfred |
| author_variant | m s s mss |
| building | Verbundindex |
| bvnumber | BV006123469 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 549f |
| ctrlnum | (OCoLC)20318854 (DE-599)BVBBV006123469 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03729nam a2200913 cb4500</leader><controlfield tag="001">BV006123469</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921030s1989 m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540517057</subfield><subfield code="9">3-540-51705-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387517057</subfield><subfield code="9">0-387-51705-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20318854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006123469</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-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 549f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schmidt-Schauß, Manfred</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational aspects of an order-sorted logic with term declarations</subfield><subfield code="c">M. Schmidt-Schauß</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u. a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 171 S.</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">Lecture notes in computer science</subfield><subfield code="v">395.: Lecture notes in artificial intelligence.</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Kaiserslautern, Univ., Diss., 1988</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Tri (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Tri (Ordinateurs)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">déduction automatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">formalisme</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logique 1er ordre</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logique mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">représentation connaissance</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">résolution problème</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sorting (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ordnungsrelation</subfield><subfield code="0">(DE-588)4172733-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Geordnete Menge</subfield><subfield code="0">(DE-588)4156748-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrsortige Prädikatenlogik</subfield><subfield code="0">(DE-588)4169324-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unifikationstheorie</subfield><subfield code="0">(DE-588)4186894-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ordnungssortierte Logik</subfield><subfield code="0">(DE-588)4230952-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transformation</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4060637-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Ordnungsorientierte Logik</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ordnungsorientierte Logik</subfield><subfield code="A">f</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">Geordnete Menge</subfield><subfield code="0">(DE-588)4156748-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Unifikationstheorie</subfield><subfield code="0">(DE-588)4186894-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Ordnungssortierte Logik</subfield><subfield code="0">(DE-588)4230952-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Mehrsortige Prädikatenlogik</subfield><subfield code="0">(DE-588)4169324-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Ordnungsrelation</subfield><subfield code="0">(DE-588)4172733-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="6" ind2="0"><subfield code="a">Transformation</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4060637-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="6" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">395.: Lecture notes in artificial intelligence.</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">395</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003868715</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content Ordnungsorientierte Logik gnd |
| genre_facet | Hochschulschrift Ordnungsorientierte Logik |
| id | DE-604.BV006123469 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:40:38Z |
| institution | BVB |
| isbn | 3540517057 0387517057 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003868715 |
| oclc_num | 20318854 |
| open_access_boolean | |
| owner | DE-703 DE-739 DE-20 DE-12 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| owner_facet | DE-703 DE-739 DE-20 DE-12 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| physical | VIII, 171 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Schmidt-Schauß, Manfred Verfasser aut Computational aspects of an order-sorted logic with term declarations M. Schmidt-Schauß Berlin u. a. Springer 1989 VIII, 171 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 395.: Lecture notes in artificial intelligence. Zugl.: Kaiserslautern, Univ., Diss., 1988 Logique symbolique et mathématique Logique symbolique et mathématique ram Tri (Informatique) Tri (Ordinateurs) ram déduction automatique formalisme logique 1er ordre logique mathématique représentation connaissance résolution problème Logic, Symbolic and mathematical Sorting (Electronic computers) Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Ordnungsrelation (DE-588)4172733-2 gnd rswk-swf Geordnete Menge (DE-588)4156748-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mehrsortige Prädikatenlogik (DE-588)4169324-3 gnd rswk-swf Unifikationstheorie (DE-588)4186894-8 gnd rswk-swf Ordnungssortierte Logik (DE-588)4230952-9 gnd rswk-swf Transformation Mathematik (DE-588)4060637-5 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Algorithmus (DE-588)4001183-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Ordnungsorientierte Logik gnd rswk-swf Ordnungsorientierte Logik f DE-604 Geordnete Menge (DE-588)4156748-1 s Logik (DE-588)4036202-4 s Datenverarbeitung (DE-588)4011152-0 s Unifikationstheorie (DE-588)4186894-8 s Ordnungssortierte Logik (DE-588)4230952-9 s Mehrsortige Prädikatenlogik (DE-588)4169324-3 s Ordnungsrelation (DE-588)4172733-2 s Programmierung (DE-588)4076370-5 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Algorithmus (DE-588)4001183-5 s 2\p DE-604 Transformation Mathematik (DE-588)4060637-5 s 3\p DE-604 Lecture notes in computer science 395.: Lecture notes in artificial intelligence. (DE-604)BV000000607 395 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Schmidt-Schauß, Manfred Computational aspects of an order-sorted logic with term declarations Lecture notes in computer science Logique symbolique et mathématique Logique symbolique et mathématique ram Tri (Informatique) Tri (Ordinateurs) ram déduction automatique formalisme logique 1er ordre logique mathématique représentation connaissance résolution problème Logic, Symbolic and mathematical Sorting (Electronic computers) Datenverarbeitung (DE-588)4011152-0 gnd Logik (DE-588)4036202-4 gnd Ordnungsrelation (DE-588)4172733-2 gnd Geordnete Menge (DE-588)4156748-1 gnd Mathematische Logik (DE-588)4037951-6 gnd Mehrsortige Prädikatenlogik (DE-588)4169324-3 gnd Unifikationstheorie (DE-588)4186894-8 gnd Ordnungssortierte Logik (DE-588)4230952-9 gnd Transformation Mathematik (DE-588)4060637-5 gnd Programmierung (DE-588)4076370-5 gnd Algorithmus (DE-588)4001183-5 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4036202-4 (DE-588)4172733-2 (DE-588)4156748-1 (DE-588)4037951-6 (DE-588)4169324-3 (DE-588)4186894-8 (DE-588)4230952-9 (DE-588)4060637-5 (DE-588)4076370-5 (DE-588)4001183-5 (DE-588)4113937-9 |
| title | Computational aspects of an order-sorted logic with term declarations |
| title_auth | Computational aspects of an order-sorted logic with term declarations |
| title_exact_search | Computational aspects of an order-sorted logic with term declarations |
| title_full | Computational aspects of an order-sorted logic with term declarations M. Schmidt-Schauß |
| title_fullStr | Computational aspects of an order-sorted logic with term declarations M. Schmidt-Schauß |
| title_full_unstemmed | Computational aspects of an order-sorted logic with term declarations M. Schmidt-Schauß |
| title_short | Computational aspects of an order-sorted logic with term declarations |
| title_sort | computational aspects of an order sorted logic with term declarations |
| topic | Logique symbolique et mathématique Logique symbolique et mathématique ram Tri (Informatique) Tri (Ordinateurs) ram déduction automatique formalisme logique 1er ordre logique mathématique représentation connaissance résolution problème Logic, Symbolic and mathematical Sorting (Electronic computers) Datenverarbeitung (DE-588)4011152-0 gnd Logik (DE-588)4036202-4 gnd Ordnungsrelation (DE-588)4172733-2 gnd Geordnete Menge (DE-588)4156748-1 gnd Mathematische Logik (DE-588)4037951-6 gnd Mehrsortige Prädikatenlogik (DE-588)4169324-3 gnd Unifikationstheorie (DE-588)4186894-8 gnd Ordnungssortierte Logik (DE-588)4230952-9 gnd Transformation Mathematik (DE-588)4060637-5 gnd Programmierung (DE-588)4076370-5 gnd Algorithmus (DE-588)4001183-5 gnd |
| topic_facet | Logique symbolique et mathématique Tri (Informatique) Tri (Ordinateurs) déduction automatique formalisme logique 1er ordre logique mathématique représentation connaissance résolution problème Logic, Symbolic and mathematical Sorting (Electronic computers) Datenverarbeitung Logik Ordnungsrelation Geordnete Menge Mathematische Logik Mehrsortige Prädikatenlogik Unifikationstheorie Ordnungssortierte Logik Transformation Mathematik Programmierung Algorithmus Hochschulschrift Ordnungsorientierte Logik |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT schmidtschaußmanfred computationalaspectsofanordersortedlogicwithtermdeclarations |