Aussagenlogik: Deduktion und Algorithmen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1994
|
| Schriftenreihe: | Leitfäden und Monographien der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | "... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien |
| Beschreibung: | 1 Online-Ressource (X, 438S.) |
| ISBN: | 9783322848093 9783519021339 |
| DOI: | 10.1007/978-3-322-84809-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042429311 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1994 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322848093 |c Online |9 978-3-322-84809-3 | ||
| 020 | |a 9783519021339 |c Print |9 978-3-519-02133-9 | ||
| 024 | 7 | |a 10.1007/978-3-322-84809-3 |2 doi | |
| 035 | |a (OCoLC)863912147 | ||
| 035 | |a (DE-599)BVBBV042429311 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Büning, Hans Kleine |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Aussagenlogik: Deduktion und Algorithmen |c von Hans Kleine Büning, Theodor Lettmann |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1994 | |
| 300 | |a 1 Online-Ressource (X, 438S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden und Monographien der Informatik | |
| 500 | |a "... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Deduktionssystem |0 (DE-588)4194364-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmentheorie |0 (DE-588)4200409-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Deduktionssystem |0 (DE-588)4194364-8 |D s |
| 689 | 0 | 1 | |a Algorithmentheorie |0 (DE-588)4200409-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Lettmann, Theodor |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-84809-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027864642 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153109995323392 |
|---|---|
| any_adam_object | |
| author | Büning, Hans Kleine |
| author_facet | Büning, Hans Kleine |
| author_role | aut |
| author_sort | Büning, Hans Kleine |
| author_variant | h k b hk hkb |
| building | Verbundindex |
| bvnumber | BV042429311 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863912147 (DE-599)BVBBV042429311 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-84809-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01957nmm a2200505zc 4500</leader><controlfield tag="001">BV042429311</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1994 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322848093</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-84809-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519021339</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02133-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-84809-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863912147</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042429311</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Büning, Hans Kleine</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Aussagenlogik: Deduktion und Algorithmen</subfield><subfield code="c">von Hans Kleine Büning, Theodor Lettmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 438S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Leitfäden und Monographien der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktionssystem</subfield><subfield code="0">(DE-588)4194364-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktionssystem</subfield><subfield code="0">(DE-588)4194364-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lettmann, Theodor</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-84809-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027864642</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></record></collection> |
| id | DE-604.BV042429311 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:23Z |
| institution | BVB |
| isbn | 9783322848093 9783519021339 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027864642 |
| oclc_num | 863912147 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (X, 438S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Leitfäden und Monographien der Informatik |
| spelling | Büning, Hans Kleine Verfasser aut Aussagenlogik: Deduktion und Algorithmen von Hans Kleine Büning, Theodor Lettmann Wiesbaden Vieweg+Teubner Verlag 1994 1 Online-Ressource (X, 438S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden und Monographien der Informatik "... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien Engineering Engineering, general Ingenieurwissenschaften Deduktionssystem (DE-588)4194364-8 gnd rswk-swf Algorithmentheorie (DE-588)4200409-3 gnd rswk-swf Deduktionssystem (DE-588)4194364-8 s Algorithmentheorie (DE-588)4200409-3 s 1\p DE-604 Lettmann, Theodor Sonstige oth https://doi.org/10.1007/978-3-322-84809-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Büning, Hans Kleine Aussagenlogik: Deduktion und Algorithmen Engineering Engineering, general Ingenieurwissenschaften Deduktionssystem (DE-588)4194364-8 gnd Algorithmentheorie (DE-588)4200409-3 gnd |
| subject_GND | (DE-588)4194364-8 (DE-588)4200409-3 |
| title | Aussagenlogik: Deduktion und Algorithmen |
| title_auth | Aussagenlogik: Deduktion und Algorithmen |
| title_exact_search | Aussagenlogik: Deduktion und Algorithmen |
| title_full | Aussagenlogik: Deduktion und Algorithmen von Hans Kleine Büning, Theodor Lettmann |
| title_fullStr | Aussagenlogik: Deduktion und Algorithmen von Hans Kleine Büning, Theodor Lettmann |
| title_full_unstemmed | Aussagenlogik: Deduktion und Algorithmen von Hans Kleine Büning, Theodor Lettmann |
| title_short | Aussagenlogik: Deduktion und Algorithmen |
| title_sort | aussagenlogik deduktion und algorithmen |
| topic | Engineering Engineering, general Ingenieurwissenschaften Deduktionssystem (DE-588)4194364-8 gnd Algorithmentheorie (DE-588)4200409-3 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Deduktionssystem Algorithmentheorie |
| url | https://doi.org/10.1007/978-3-322-84809-3 |
| work_keys_str_mv | AT buninghanskleine aussagenlogikdeduktionundalgorithmen AT lettmanntheodor aussagenlogikdeduktionundalgorithmen |