Theorem-proving systems / Ewa Orłowska
Saved in:
| Superior document: | Dissertationes mathematicae 103 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Warszawa : PWN, 1973 |
| Year of Publication: | 1973 |
| Language: | English |
| Series: | Dissertationes mathematicae
103 |
| Physical Description: | 55 S. |
| Notes: | Literaturverz. S. [48] - 51 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00826nam#a2200313#cb4500 | ||
|---|---|---|---|
| 001 | 990001919870504498 | ||
| 005 | 20230225192202.0 | ||
| 007 | tu | ||
| 008 | 091007|1973####|||###########|||#|#eng#c | ||
| 009 | AC07821950 | ||
| 035 | |a (AT-OBV)AC07821950 | ||
| 035 | |a AC07821950 | ||
| 035 | |a (Aleph)007673793ACC01 | ||
| 035 | |a (DE-599)BSZ003763897 | ||
| 035 | |a (DE-604)8065005716 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990076737930203331 | ||
| 040 | |a OAW |b ger |c BSZ | ||
| 041 | |a eng | ||
| 044 | |c XA-PL | ||
| 084 | |a SI 390 |2 rvk | ||
| 100 | 1 | |a Orłowska, Ewa |d 1935- |0 (DE-588)122556100 |4 aut | |
| 245 | 1 | 0 | |a Theorem-proving systems |c Ewa Orłowska |
| 264 | 1 | |a Warszawa |b PWN |c 1973 | |
| 300 | |a 55 S. | ||
| 490 | 1 | |a Dissertationes mathematicae |v 103 | |
| 500 | |a Literaturverz. S. [48] - 51 | ||
| 591 | |a 720 ff. bvb | ||
| 830 | 0 | |w (AT-OBV)AC00094393 |v 103 | |
| 970 | 1 | |c 23 | |
| 970 | 4 | |b SWB | |
| ADM | |b 2023-02-25 19:22:02 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 06:07:56 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 84784.103 |c MAG1 |8 2215627370004498 | |
| 852 | 8 | |b YWOAW |c MAG1 |h 84784.103 |8 2215627370004498 | |
| ITM | |9 2215627370004498 |e 1 |m BOOK |b +YW15096200 |i 84784.103 |2 MAG1 |o 20091007 |8 2315627360004498 |f 02 |p 2009-10-07 02:00:00 Europe/Vienna |h 84784.103 |1 YWOAW |q 2022-09-26 12:53:15 Europe/Vienna | ||