Logic: a foundation for computer science
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Wokingham [u.a.]
Addison-Wesley Publ. Co.
1991
|
| Edition: | 1. print. |
| Series: | International computer science series
|
| Subjects: | |
| Physical Description: | XII, 495 S. graph. Darst. |
| ISBN: | 0201565145 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021907240 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 920923s1991 d||| |||| 00||| eng d | ||
| 020 | |a 0201565145 |9 0-201-56514-5 | ||
| 035 | |a (OCoLC)23357488 | ||
| 035 | |a (DE-599)BVBBV021907240 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA76 | |
| 082 | 0 | |a 004 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 100 | 1 | |a Sperschneider, Volker |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic |b a foundation for computer science |
| 250 | |a 1. print. | ||
| 264 | 1 | |a Wokingham [u.a.] |b Addison-Wesley Publ. Co. |c 1991 | |
| 300 | |a XII, 495 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a International computer science series | |
| 650 | 4 | |a Informatique | |
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |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 Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Antoniou, Grigorios |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015122416 | ||
| 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 | |
Record in the Search Index
| _version_ | 1804135855674097664 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Sperschneider, Volker Antoniou, Grigorios |
| author_facet | Sperschneider, Volker Antoniou, Grigorios |
| author_role | aut aut |
| author_sort | Sperschneider, Volker |
| author_variant | v s vs g a ga |
| building | Verbundindex |
| bvnumber | BV021907240 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76 |
| callnumber-search | QA76 |
| callnumber-sort | QA 276 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 120 ST 125 |
| ctrlnum | (OCoLC)23357488 (DE-599)BVBBV021907240 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02235nam a2200649zc 4500</leader><controlfield tag="001">BV021907240</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920923s1991 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201565145</subfield><subfield code="9">0-201-56514-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23357488</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021907240</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</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="100" ind1="1" ind2=" "><subfield code="a">Sperschneider, Volker</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic</subfield><subfield code="b">a foundation for computer science</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wokingham [u.a.]</subfield><subfield code="b">Addison-Wesley Publ. Co.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 495 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">International computer science series</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Antoniou, Grigorios</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015122416</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></record></collection> |
| id | DE-604.BV021907240 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:05:02Z |
| indexdate | 2024-07-09T20:47:08Z |
| institution | BVB |
| isbn | 0201565145 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015122416 |
| oclc_num | 23357488 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | XII, 495 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Addison-Wesley Publ. Co. |
| record_format | marc |
| series2 | International computer science series |
| spelling | Sperschneider, Volker Verfasser aut Logic a foundation for computer science 1. print. Wokingham [u.a.] Addison-Wesley Publ. Co. 1991 XII, 495 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International computer science series Informatique Intelligence artificielle Logica gtt Logique symbolique et mathématique Informatik Künstliche Intelligenz Logik Artificial intelligence Computer science Logic, Symbolic and mathematical Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Logik (DE-588)4036202-4 s Informatik (DE-588)4026894-9 s 1\p DE-604 Mathematische Logik (DE-588)4037951-6 s Datenverarbeitung (DE-588)4011152-0 s 2\p DE-604 Antoniou, Grigorios Verfasser aut 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 | Sperschneider, Volker Antoniou, Grigorios Logic a foundation for computer science Informatique Intelligence artificielle Logica gtt Logique symbolique et mathématique Informatik Künstliche Intelligenz Logik Artificial intelligence Computer science Logic, Symbolic and mathematical Künstliche Intelligenz (DE-588)4033447-8 gnd Informatik (DE-588)4026894-9 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4026894-9 (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4011152-0 |
| title | Logic a foundation for computer science |
| title_auth | Logic a foundation for computer science |
| title_exact_search | Logic a foundation for computer science |
| title_exact_search_txtP | Logic a foundation for computer science |
| title_full | Logic a foundation for computer science |
| title_fullStr | Logic a foundation for computer science |
| title_full_unstemmed | Logic a foundation for computer science |
| title_short | Logic |
| title_sort | logic a foundation for computer science |
| title_sub | a foundation for computer science |
| topic | Informatique Intelligence artificielle Logica gtt Logique symbolique et mathématique Informatik Künstliche Intelligenz Logik Artificial intelligence Computer science Logic, Symbolic and mathematical Künstliche Intelligenz (DE-588)4033447-8 gnd Informatik (DE-588)4026894-9 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
| topic_facet | Informatique Intelligence artificielle Logica Logique symbolique et mathématique Informatik Künstliche Intelligenz Logik Artificial intelligence Computer science Logic, Symbolic and mathematical Mathematische Logik Datenverarbeitung |
| work_keys_str_mv | AT sperschneidervolker logicafoundationforcomputerscience AT antoniougrigorios logicafoundationforcomputerscience |