Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela
Saved in:
Superior document: | Prace naukowe Uniwersytetu Śla̧skiego w Katowicach 1901 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Katowice : Wydawn. Uniw. Śląskiego, 2000 |
Year of Publication: | 2000 |
Edition: | Wyd. 1 |
Language: | English |
Series: | Prace naukowe Uniwersytetu Śla̧skiego w Katowicach
1901 |
Subjects: | |
Physical Description: | 121 S. |
Notes: | Literaturverz. S. 113 - [118] |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
990000353490504498 |
---|---|
ctrlnum |
AC03142044 (AT-OBV)AC03142044 (Aleph)003137480ACC01 (DE-599)OBVAC03142044 (EXLNZ-43ACC_NETWORK)990031374800203331 |
collection |
bib_alma |
institution |
YWOAW |
building |
MAG1 |
record_format |
marc |
spelling |
Biela, Andrzej aut Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela Wyd. 1 Katowice Wydawn. Uniw. Śląskiego 2000 121 S. Prace naukowe Uniwersytetu Śla̧skiego w Katowicach 1901 Literaturverz. S. 113 - [118] Zsfassung in poln. u. russ. Sprache Algorithmische Programmiersprache s (DE-588)4141876-1 Beweistheorie s (DE-588)4145177-6 AT-OBV UBGSDL (AT-OBV)AC00304992 1901 YWOAW MAG1 84895.1901 2216816920004498 |
language |
English |
format |
Book |
author |
Biela, Andrzej |
spellingShingle |
Biela, Andrzej Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Prace naukowe Uniwersytetu Śla̧skiego w Katowicach Algorithmische Programmiersprache (DE-588)4141876-1 Beweistheorie (DE-588)4145177-6 |
author_facet |
Biela, Andrzej |
author_variant |
a b ab |
author_role |
VerfasserIn |
author_sort |
Biela, Andrzej |
title |
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories |
title_full |
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela |
title_fullStr |
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela |
title_full_unstemmed |
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela |
title_auth |
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories |
title_new |
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories |
title_sort |
algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories |
series |
Prace naukowe Uniwersytetu Śla̧skiego w Katowicach |
series2 |
Prace naukowe Uniwersytetu Śla̧skiego w Katowicach |
publisher |
Wydawn. Uniw. Śląskiego |
publishDate |
2000 |
physical |
121 S. |
edition |
Wyd. 1 |
isbn |
8322610238 |
callnumber-raw |
84895.1901 |
callnumber-search |
84895.1901 |
topic |
Algorithmische Programmiersprache (DE-588)4141876-1 Beweistheorie (DE-588)4145177-6 |
topic_facet |
Algorithmische Programmiersprache Beweistheorie |
illustrated |
Not Illustrated |
work_keys_str_mv |
AT bielaandrzej algorithmicstructuralcompletenessandaretrievalsystemforprovingtheoremsinalgorithmictheories |
status_str |
n |
ids_txt_mv |
(AT-OBV)AC03142044 AC03142044 (Aleph)003137480ACC01 (DE-599)OBVAC03142044 (EXLNZ-43ACC_NETWORK)990031374800203331 |
hol852bOwn_txt_mv |
YWOAW |
hol852hSignatur_txt_mv |
84895.1901 |
hol852cSonderstandort_txt_mv |
MAG1 |
itmData_txt_mv |
2001-07-25 02:00:00 Europe/Vienna |
barcode_str_mv |
+YW536507 |
callnumbers_txt_mv |
84895.1901 |
inventoryNumbers_str_mv |
84895.1901 |
materialTypes_str_mv |
BOOK |
permanentLibraries_str_mv |
YWOAW |
permanentLocations_str_mv |
MAG1 |
inventoryDates_str_mv |
2001-07-25 10:04:12 |
createdDates_str_mv |
2001-07-25 02:00:00 Europe/Vienna |
holdingIds_str_mv |
2216816920004498 |
hierarchy_parent_id |
AC00304992 |
hierarchy_parent_title |
Prace naukowe Uniwersytetu Śla̧skiego w Katowicach 1901 |
hierarchy_sequence |
1901 |
is_hierarchy_id |
AC03142044 |
is_hierarchy_title |
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories |
container_title |
Prace naukowe Uniwersytetu Śla̧skiego w Katowicach 1901 |
container_reference |
AC00304992 |
_version_ |
1793802330172293120 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01108nam#a2200337#cb4500</leader><controlfield tag="001">990000353490504498</controlfield><controlfield tag="005">20230317195852.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">010305|2000####|||###########|||#|#eng#c</controlfield><controlfield tag="009">AC03142044</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8322610238</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC03142044</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC03142044</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)003137480ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC03142044</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990031374800203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">UBG</subfield><subfield code="b">ger</subfield><subfield code="d">UBG</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-PL</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Biela, Andrzej</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories</subfield><subfield code="c">Andrzej Biela</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Wyd. 1</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Katowice</subfield><subfield code="b">Wydawn. Uniw. Śląskiego</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">121 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Prace naukowe Uniwersytetu Śla̧skiego w Katowicach</subfield><subfield code="v">1901</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 113 - [118]</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">Zsfassung in poln. u. russ. Sprache</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algorithmische Programmiersprache</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4141876-1</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4145177-6</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">UBGSDL</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00304992</subfield><subfield code="v">1901</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-03-17 19:11:32 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 07:40:48 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">84895.1901</subfield><subfield code="c">MAG1</subfield><subfield code="8">2216816920004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">84895.1901</subfield><subfield code="8">2216816920004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2216816920004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW536507</subfield><subfield code="i">84895.1901</subfield><subfield code="2">MAG1</subfield><subfield code="o">2001-07-25 10:04:12</subfield><subfield code="8">2316816910004498</subfield><subfield code="f">02</subfield><subfield code="p">2001-07-25 02:00:00 Europe/Vienna</subfield><subfield code="h">84895.1901</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-07-29 14:51:19 Europe/Vienna</subfield></datafield></record></collection> |