Logic for problem solving:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
North Holland
1979
|
| Schriftenreihe: | Artificial intelligence series
7 |
| Schlagworte: | |
| Beschreibung: | 287 S. graph. Darst. |
| ISBN: | 0444003657 0444003681 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002265792 | ||
| 003 | DE-604 | ||
| 005 | 20140602 | ||
| 007 | t | ||
| 008 | 890928s1979 d||| |||| 00||| eng d | ||
| 020 | |a 0444003657 |9 0-444-00365-7 | ||
| 020 | |a 0444003681 |9 0-444-00368-1 | ||
| 035 | |a (OCoLC)5564433 | ||
| 035 | |a (DE-599)BVBBV002265792 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-473 |a DE-703 |a DE-739 |a DE-355 |a DE-20 |a DE-19 |a DE-824 |a DE-29T |a DE-83 |a DE-706 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA63 | |
| 082 | 0 | |a 519.7 | |
| 084 | |a ES 200 |0 (DE-625)27818: |2 rvk | ||
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a 68G20 |2 msc | ||
| 100 | 1 | |a Kowalski, Robert |d 1941- |e Verfasser |0 (DE-588)123879507 |4 aut | |
| 245 | 1 | 0 | |a Logic for problem solving |c Robert Kowalski |
| 264 | 1 | |a New York [u.a.] |b North Holland |c 1979 | |
| 300 | |a 287 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Artificial intelligence series |v 7 | |
| 490 | 0 | |a The Computer science library | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Probleemoplossing |2 gtt | |
| 650 | 4 | |a Programmation (Informatique) | |
| 650 | 7 | |a Programmeren (computers) |2 gtt | |
| 650 | 4 | |a Résolution de problème | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Problem solving | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kybernetik |0 (DE-588)4033888-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 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 Problemlösen |0 (DE-588)4076358-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Problemlösen |0 (DE-588)4076358-4 |D s |
| 689 | 1 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 1 | 2 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Problemlösen |0 (DE-588)4076358-4 |D s |
| 689 | 2 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 3 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 4 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 4 | |8 1\p |5 DE-604 | |
| 689 | 5 | 0 | |a Kybernetik |0 (DE-588)4033888-5 |D s |
| 689 | 5 | |8 2\p |5 DE-604 | |
| 830 | 0 | |a Artificial intelligence series |v 7 |w (DE-604)BV000903714 |9 7 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001488925 | ||
| 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 | |
| 980 | 4 | |a (DE-12)AK12210028 | |
Datensatz im Suchindex
| _version_ | 1804116723489570816 |
|---|---|
| any_adam_object | |
| author | Kowalski, Robert 1941- |
| author_GND | (DE-588)123879507 |
| author_facet | Kowalski, Robert 1941- |
| author_role | aut |
| author_sort | Kowalski, Robert 1941- |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV002265792 |
| callnumber-first | Q - Science |
| callnumber-label | QA63 |
| callnumber-raw | QA63 |
| callnumber-search | QA63 |
| callnumber-sort | QA 263 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ES 200 QH 500 ST 125 ST 130 ST 304 |
| ctrlnum | (OCoLC)5564433 (DE-599)BVBBV002265792 |
| dewey-full | 519.7 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.7 |
| dewey-search | 519.7 |
| dewey-sort | 3519.7 |
| dewey-tens | 510 - Mathematics |
| discipline | Sprachwissenschaft Informatik Mathematik Literaturwissenschaft Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03158nam a2200841 cb4500</leader><controlfield tag="001">BV002265792</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140602 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1979 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444003657</subfield><subfield code="9">0-444-00365-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444003681</subfield><subfield code="9">0-444-00368-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)5564433</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002265792</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.7</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 200</subfield><subfield code="0">(DE-625)27818:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68G20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kowalski, Robert</subfield><subfield code="d">1941-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123879507</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for problem solving</subfield><subfield code="c">Robert Kowalski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">North Holland</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">287 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="1" ind2=" "><subfield code="a">Artificial intelligence series</subfield><subfield code="v">7</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">The Computer science library</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">Probleemoplossing</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeren (computers)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Résolution de problème</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</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">Problem solving</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">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">Kybernetik</subfield><subfield code="0">(DE-588)4033888-5</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="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">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="2"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Kybernetik</subfield><subfield code="0">(DE-588)4033888-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="830" ind1=" " ind2="0"><subfield code="a">Artificial intelligence series</subfield><subfield code="v">7</subfield><subfield code="w">(DE-604)BV000903714</subfield><subfield code="9">7</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001488925</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="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK12210028</subfield></datafield></record></collection> |
| id | DE-604.BV002265792 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:43:02Z |
| institution | BVB |
| isbn | 0444003657 0444003681 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001488925 |
| oclc_num | 5564433 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-824 DE-29T DE-83 DE-706 DE-188 DE-11 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-824 DE-29T DE-83 DE-706 DE-188 DE-11 |
| physical | 287 S. graph. Darst. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | North Holland |
| record_format | marc |
| series | Artificial intelligence series |
| series2 | Artificial intelligence series The Computer science library |
| spelling | Kowalski, Robert 1941- Verfasser (DE-588)123879507 aut Logic for problem solving Robert Kowalski New York [u.a.] North Holland 1979 287 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Artificial intelligence series 7 The Computer science library Logique symbolique et mathématique Probleemoplossing gtt Programmation (Informatique) Programmeren (computers) gtt Résolution de problème Wiskundige logica gtt Computer programming Logic, Symbolic and mathematical Problem solving Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Kybernetik (DE-588)4033888-5 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Problemlösen (DE-588)4076358-4 gnd rswk-swf Programmierung (DE-588)4076370-5 s Mathematische Logik (DE-588)4037951-6 s DE-604 Problemlösen (DE-588)4076358-4 s Datenverarbeitung (DE-588)4011152-0 s Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s 1\p DE-604 Kybernetik (DE-588)4033888-5 s 2\p DE-604 Artificial intelligence series 7 (DE-604)BV000903714 7 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 |
| spellingShingle | Kowalski, Robert 1941- Logic for problem solving Artificial intelligence series Logique symbolique et mathématique Probleemoplossing gtt Programmation (Informatique) Programmeren (computers) gtt Résolution de problème Wiskundige logica gtt Computer programming Logic, Symbolic and mathematical Problem solving Mathematische Logik (DE-588)4037951-6 gnd Programmierung (DE-588)4076370-5 gnd Kybernetik (DE-588)4033888-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Datenverarbeitung (DE-588)4011152-0 gnd Logik (DE-588)4036202-4 gnd Problemlösen (DE-588)4076358-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4076370-5 (DE-588)4033888-5 (DE-588)4033447-8 (DE-588)4011152-0 (DE-588)4036202-4 (DE-588)4076358-4 |
| title | Logic for problem solving |
| title_auth | Logic for problem solving |
| title_exact_search | Logic for problem solving |
| title_full | Logic for problem solving Robert Kowalski |
| title_fullStr | Logic for problem solving Robert Kowalski |
| title_full_unstemmed | Logic for problem solving Robert Kowalski |
| title_short | Logic for problem solving |
| title_sort | logic for problem solving |
| topic | Logique symbolique et mathématique Probleemoplossing gtt Programmation (Informatique) Programmeren (computers) gtt Résolution de problème Wiskundige logica gtt Computer programming Logic, Symbolic and mathematical Problem solving Mathematische Logik (DE-588)4037951-6 gnd Programmierung (DE-588)4076370-5 gnd Kybernetik (DE-588)4033888-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Datenverarbeitung (DE-588)4011152-0 gnd Logik (DE-588)4036202-4 gnd Problemlösen (DE-588)4076358-4 gnd |
| topic_facet | Logique symbolique et mathématique Probleemoplossing Programmation (Informatique) Programmeren (computers) Résolution de problème Wiskundige logica Computer programming Logic, Symbolic and mathematical Problem solving Mathematische Logik Programmierung Kybernetik Künstliche Intelligenz Datenverarbeitung Logik Problemlösen |
| volume_link | (DE-604)BV000903714 |
| work_keys_str_mv | AT kowalskirobert logicforproblemsolving |