IV Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki : Sekt͡sii͡a Predstavlenie znaniĭ i sintez programm : tezisy dokladov

LDR 01461nam a2200313 a 4500
001 006222116
003 MiAaHDL
005 20090407000000.0
006 m d
007 cr bn ---auaua
008 880324s1986 er a b 10110 ruso
010 ⊔ ⊔ ‡a 87102165
020 ⊔ ⊔ ‡c1.45rub
035 ⊔ ⊔ ‡asdr-nrlfGLAD84120167-B
035 ⊔ ⊔ ‡a(OCoLC)217120261
040 ⊔ ⊔ ‡aDLC ‡cDLC ‡dCUY
050 0 ⊔ ‡aQA9.A1 ‡bV837 1986
090 ⊔ ⊔ ‡a QA9.A1 ‡bV8371 1986
035 ⊔ ⊔ ‡a(OCoLC)17413575
111 2 0 ‡aVsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki ‡n(4th : ‡d1986? : ‡cTallinn, Estonia?)
245 1 0 ‡aIV Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki : ‡bSekt͡sii͡a Predstavlenie znaniĭ i sintez programm : tezisy dokladov / ‡c[pod redakt͡sieĭ G.E. Mint͡sa i P.P. Lorentsa].
260 0 ⊔ ‡aTallin : ‡bAkademii͡a nauk Ėstonskoĭ SSSR, ‡c1986.
300 ⊔ ⊔ ‡a202 p. : ‡bill. ; ‡c20 cm.
500 ⊔ ⊔ ‡aAt head of title: Institut kibernetiki Akademii nauk Ėstonskoĭ SSR.
504 ⊔ ⊔ ‡aIncludes bibliographies and index.
538 ⊔ ⊔ ‡aMode of access: Internet.
650 ⊔ 0 ‡aLogic, Symbolic and mathematical ‡vCongresses.
700 1 0 ‡aLorents, P. P.
700 1 0 ‡aMint͡s, G. E.
710 2 0 ‡aKüberneetika Instituut (Eesti NSV Teaduste Akadeemia)
740 0 1 ‡aPrimenenie metodov matematicheskoĭ logiki.
740 0 1 ‡aChetvertai͡a Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki.
740 0 1 ‡a4-i͡a Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki.
CID ⊔ ⊔ ‡a006222116
DAT 0 ⊔ ‡a20080625105624.0 ‡b20090407000000.0
DAT 1 ⊔ ‡a20120815184702.0 ‡b2023-05-21T17:31:40Z
DAT 2 ⊔ ‡a2023-05-21T17:30:02Z
CAT ⊔ ⊔ ‡aSDR-NRLF ‡dLOCAL - GLADIS ‡lloader.pl-001-001
FMT ⊔ ⊔ ‡aBK
HOL ⊔ ⊔ ‡0sdr-nrlfGLAD84120167-B ‡auc1 ‡bSDR ‡cNRLF ‡puc1.b4342433 ‡sUC ‡1GLAD84120167-B
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20230521 ‡sgoogle ‡uuc1.b4342433 ‡y1986 ‡ric ‡qbib ‡tnon-US bib date1 >= 1930