Proof Checking and Non-Approximability
Gespeichert in:
Autor*in: |
Hougardy, Stefan [verfasserIn] |
---|
Format: |
Artikel |
---|
Erschienen: |
1998 |
---|
Übergeordnetes Werk: |
Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 1367(1998), Seite 63 |
---|---|
Übergeordnetes Werk: |
volume:1367 ; year:1998 ; pages:63 |
Katalog-ID: |
OLC1531492134 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC1531492134 | ||
003 | DE-627 | ||
005 | 20220224084935.0 | ||
007 | tu | ||
008 | 980319s1998 xx ||||| 00| ||und c | ||
028 | 5 | 2 | |a SW980319 |
035 | |a (DE-627)OLC1531492134 | ||
035 | |a (DE-599)GBVOLC1531492134 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
082 | 0 | 4 | |a 004 |a 620 |
082 | 0 | 4 | |a 620 |q AVZ |
100 | 1 | |a Hougardy, Stefan |e verfasserin |4 aut | |
245 | 1 | 0 | |a Proof Checking and Non-Approximability |
264 | 1 | |c 1998 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
773 | 0 | 8 | |i Enthalten in |t Lecture notes in computer science |d Berlin, Germany : Springer, 1973 |g 1367(1998), Seite 63 |w (DE-627)129300152 |w (DE-600)121909-1 |w (DE-576)014492687 |x 0302-9743 |
773 | 1 | 8 | |g volume:1367 |g year:1998 |g pages:63 |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-TEC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a SSG-OPC-BBI | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_105 | ||
912 | |a GBV_ILN_2018 | ||
951 | |a AR | ||
952 | |d 1367 |j 1998 |h 63 |
author_variant |
s h sh |
---|---|
matchkey_str |
article:03029743:1998----::roceknadoapo |
hierarchy_sort_str |
1998 |
publishDate |
1998 |
allfields |
SW980319 (DE-627)OLC1531492134 (DE-599)GBVOLC1531492134 DE-627 ger DE-627 rakwb 004 620 620 AVZ Hougardy, Stefan verfasserin aut Proof Checking and Non-Approximability 1998 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1367(1998), Seite 63 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1367 year:1998 pages:63 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1367 1998 63 |
spelling |
SW980319 (DE-627)OLC1531492134 (DE-599)GBVOLC1531492134 DE-627 ger DE-627 rakwb 004 620 620 AVZ Hougardy, Stefan verfasserin aut Proof Checking and Non-Approximability 1998 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1367(1998), Seite 63 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1367 year:1998 pages:63 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1367 1998 63 |
allfields_unstemmed |
SW980319 (DE-627)OLC1531492134 (DE-599)GBVOLC1531492134 DE-627 ger DE-627 rakwb 004 620 620 AVZ Hougardy, Stefan verfasserin aut Proof Checking and Non-Approximability 1998 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1367(1998), Seite 63 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1367 year:1998 pages:63 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1367 1998 63 |
allfieldsGer |
SW980319 (DE-627)OLC1531492134 (DE-599)GBVOLC1531492134 DE-627 ger DE-627 rakwb 004 620 620 AVZ Hougardy, Stefan verfasserin aut Proof Checking and Non-Approximability 1998 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1367(1998), Seite 63 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1367 year:1998 pages:63 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1367 1998 63 |
allfieldsSound |
SW980319 (DE-627)OLC1531492134 (DE-599)GBVOLC1531492134 DE-627 ger DE-627 rakwb 004 620 620 AVZ Hougardy, Stefan verfasserin aut Proof Checking and Non-Approximability 1998 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1367(1998), Seite 63 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1367 year:1998 pages:63 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1367 1998 63 |
source |
Enthalten in Lecture notes in computer science 1367(1998), Seite 63 volume:1367 year:1998 pages:63 |
sourceStr |
Enthalten in Lecture notes in computer science 1367(1998), Seite 63 volume:1367 year:1998 pages:63 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
dewey-raw |
004 |
isfreeaccess_bool |
false |
container_title |
Lecture notes in computer science |
authorswithroles_txt_mv |
Hougardy, Stefan @@aut@@ |
publishDateDaySort_date |
1998-01-01T00:00:00Z |
hierarchy_top_id |
129300152 |
dewey-sort |
14 |
id |
OLC1531492134 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1531492134</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224084935.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">980319s1998 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW980319</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1531492134</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1531492134</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="a">620</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hougardy, Stefan</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof Checking and Non-Approximability</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1998</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany : Springer, 1973</subfield><subfield code="g">1367(1998), Seite 63</subfield><subfield code="w">(DE-627)129300152</subfield><subfield code="w">(DE-600)121909-1</subfield><subfield code="w">(DE-576)014492687</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:1367</subfield><subfield code="g">year:1998</subfield><subfield code="g">pages:63</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-BBI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">1367</subfield><subfield code="j">1998</subfield><subfield code="h">63</subfield></datafield></record></collection>
|
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1531492134</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224084935.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">980319s1998 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW980319</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1531492134</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1531492134</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="a">620</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hougardy, Stefan</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof Checking and Non-Approximability</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1998</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany : Springer, 1973</subfield><subfield code="g">1367(1998), Seite 63</subfield><subfield code="w">(DE-627)129300152</subfield><subfield code="w">(DE-600)121909-1</subfield><subfield code="w">(DE-576)014492687</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:1367</subfield><subfield code="g">year:1998</subfield><subfield code="g">pages:63</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-BBI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">1367</subfield><subfield code="j">1998</subfield><subfield code="h">63</subfield></datafield></record></collection>
|
author |
Hougardy, Stefan |
spellingShingle |
Hougardy, Stefan ddc 004 ddc 620 Proof Checking and Non-Approximability |
authorStr |
Hougardy, Stefan |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)129300152 |
format |
Article |
dewey-ones |
004 - Data processing & computer science 620 - Engineering & allied operations |
delete_txt_mv |
keep |
author_role |
aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0302-9743 |
topic_title |
004 620 620 AVZ Proof Checking and Non-Approximability |
topic |
ddc 004 ddc 620 |
topic_unstemmed |
ddc 004 ddc 620 |
topic_browse |
ddc 004 ddc 620 |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_parent_id |
129300152 |
dewey-tens |
000 - Computer science, knowledge & systems 620 - Engineering |
hierarchy_top_title |
Lecture notes in computer science |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 |
title |
Proof Checking and Non-Approximability |
ctrlnum |
(DE-627)OLC1531492134 (DE-599)GBVOLC1531492134 |
title_full |
Proof Checking and Non-Approximability |
author_sort |
Hougardy, Stefan |
journal |
Lecture notes in computer science |
journalStr |
Lecture notes in computer science |
isOA_bool |
false |
dewey-hundreds |
000 - Computer science, information & general works 600 - Technology |
recordtype |
marc |
publishDateSort |
1998 |
contenttype_str_mv |
txt |
container_start_page |
63 |
author_browse |
Hougardy, Stefan |
container_volume |
1367 |
class |
004 620 620 AVZ |
format_se |
Aufsätze |
author-letter |
Hougardy, Stefan |
dewey-full |
004 620 |
title_sort |
proof checking and non-approximability |
title_auth |
Proof Checking and Non-Approximability |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 |
title_short |
Proof Checking and Non-Approximability |
remote_bool |
false |
ppnlink |
129300152 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
up_date |
2024-07-03T13:30:04.114Z |
_version_ |
1803564775247970304 |
score |
7.3994465 |