Ot logiki k teorii poiska vyvoda
От логики к теории поиска вывода
Main Author: | |
---|---|
Format: | Print Article |
Language: | Russian |
Check availability: | HBZ Gateway |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Published: |
IFRAN
1999
|
In: |
Smirnovskie čtenija
Year: 1999, Pages: 45-46 |
MARC
LEADER | 00000naa a22000002 4500 | ||
---|---|---|---|
001 | 1816074276 | ||
003 | DE-627 | ||
005 | 20220908120303.0 | ||
007 | tu | ||
008 | 220908s1999 xx ||||| 00| ||rus c | ||
020 | |a 5201020054 | ||
035 | |a (DE-627)1816074276 | ||
035 | |a (DE-599)KXP1816074276 | ||
040 | |a DE-627 |b ger |c DE-627 |e rda | ||
041 | |a rus | ||
084 | |a 0 |2 ssgn | ||
100 | 1 | |6 880-01 |e VerfasserIn |0 (DE-588)1210878321 |0 (DE-627)169874451X |4 aut |a Katrečko, Sergej Leonidovič |d ca. 20./21. Jh. | |
109 | |a Katrečko, Sergej Leonidovič ca. 20./21. Jh. |a Katrečko, Sergej L. ca. 20./21. Jh. |a Katrečko, S. L. ca. 20./21. Jh. | ||
245 | 1 | 0 | |6 880-01 |a Ot logiki k teorii poiska vyvoda |
264 | 1 | |c 1999 | |
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 Smirnovskie čtenija |d Moskva : IFRAN, 1999 |g (1999), Seite 45-46 |h 231 S. |w (DE-627)1618789996 |w (DE-576)093745044 |z 5201020054 |7 nnnm |
773 | 1 | 8 | |g year:1999 |g pages:45-46 |
880 | 1 | |6 100-01/Cyrl |a Катречко, С. Л. |e VerfasserIn |4 aut | |
880 | 1 | 0 | |6 245-01/Cyrl |a От логики к теории поиска вывода |
935 | |a mteo | ||
935 | |i oschrift | ||
936 | u | w | |j 1999 |h 45-46 |
951 | |a AR | ||
ELC | |b 1 | ||
ITA | |a 1 |t 1 | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 4185525885 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1816074276 | ||
LOK | |0 005 20220908034945 | ||
LOK | |0 008 220908||||||||||||||||ger||||||| | ||
LOK | |0 035 |a (DE-Tue135)1618789996_1999_45 | ||
LOK | |0 040 |a DE-Tue135 |c DE-627 |d DE-Tue135 | ||
LOK | |0 092 |o n | ||
LOK | |0 852 |a DE-Tue135 | ||
LOK | |0 852 1 |9 00 | ||
LOK | |0 935 |a imwa |a ixau |a rwrk | ||
ORI | |a SA-MARC-ixtheoa001.raw | ||
REL | |a 1 | ||
SUB | |a REL |