Algoritmičeskaja problema okrestiostnoj polnoty normalʹnych modalʹnych logik
Алгоритмическая проблема окрестиостной полноты нормальных модальных логик
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: 75-76 |
MARC
LEADER | 00000naa a22000002 4500 | ||
---|---|---|---|
001 | 181607439X | ||
003 | DE-627 | ||
005 | 20220908112159.0 | ||
007 | tu | ||
008 | 220908s1999 xx ||||| 00| ||rus c | ||
020 | |a 5201020054 | ||
035 | |a (DE-627)181607439X | ||
035 | |a (DE-599)KXP181607439X | ||
040 | |a DE-627 |b ger |c DE-627 |e rda | ||
041 | |a rus | ||
084 | |a 0 |2 ssgn | ||
100 | 1 | |6 880-01 |a Čagrova, L. A. |e VerfasserIn |4 aut | |
245 | 1 | 0 | |6 880-01 |a Algoritmičeskaja problema okrestiostnoj polnoty normalʹnych modalʹnych logik |
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 75-76 |h 231 S. |w (DE-627)1618789996 |w (DE-576)093745044 |z 5201020054 |7 nnnm |
773 | 1 | 8 | |g year:1999 |g pages:75-76 |
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 | ||
951 | |a AR | ||
ELC | |b 1 | ||
ITA | |a 1 |t 1 | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 4185526008 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 181607439X | ||
LOK | |0 005 20220908034946 | ||
LOK | |0 008 220908||||||||||||||||ger||||||| | ||
LOK | |0 035 |a (DE-Tue135)1618789996_1999_75 | ||
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 |