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!
|
| LEADER | 01108nam#a2200337#cb4500 | ||
|---|---|---|---|
| 001 | 990000353490504498 | ||
| 005 | 20230317195852.0 | ||
| 007 | tu | ||
| 008 | 010305|2000####|||###########|||#|#eng#c | ||
| 009 | AC03142044 | ||
| 020 | |a 8322610238 | ||
| 035 | |a (AT-OBV)AC03142044 | ||
| 035 | |a AC03142044 | ||
| 035 | |a (Aleph)003137480ACC01 | ||
| 035 | |a (DE-599)OBVAC03142044 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990031374800203331 | ||
| 040 | |a UBG |b ger |d UBG |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-PL | ||
| 100 | 1 | |a Biela, Andrzej |4 aut | |
| 245 | 1 | 0 | |a Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories |c Andrzej Biela |
| 250 | |a Wyd. 1 | ||
| 264 | 1 | |a Katowice |b Wydawn. Uniw. Śląskiego |c 2000 | |
| 300 | |a 121 S. | ||
| 490 | 1 | |a Prace naukowe Uniwersytetu Śla̧skiego w Katowicach |v 1901 | |
| 500 | |a Literaturverz. S. 113 - [118] | ||
| 546 | |a Zsfassung in poln. u. russ. Sprache | ||
| 689 | 0 | 0 | |a Algorithmische Programmiersprache |D s |0 (DE-588)4141876-1 |
| 689 | 0 | 1 | |a Beweistheorie |D s |0 (DE-588)4145177-6 |
| 689 | 0 | |5 AT-OBV |5 UBGSDL | |
| 830 | 0 | |w (AT-OBV)AC00304992 |v 1901 | |
| 970 | 1 | |c 23 | |
| ADM | |b 2024-03-17 19:11:32 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 07:40:48 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 84895.1901 |c MAG1 |8 2216816920004498 | |
| 852 | 8 | |b YWOAW |c MAG1 |h 84895.1901 |8 2216816920004498 | |
| ITM | |9 2216816920004498 |e 1 |m BOOK |b +YW536507 |i 84895.1901 |2 MAG1 |o 2001-07-25 10:04:12 |8 2316816910004498 |f 02 |p 2001-07-25 02:00:00 Europe/Vienna |h 84895.1901 |1 YWOAW |q 2022-07-29 14:51:19 Europe/Vienna | ||