IV Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki
Subtitle: tezisy dokladov : sekt͡sii͡a Logika vzaimodeĭstvui͡ushchikh prot͡sessov : sekt͡sii͡a Algoritmika trudnykh zadach
By: [pod redakt͡sieĭ G.E. Mint͡sa i P.P. Lorentsa].
Contributors: Mint͡s, G. E.; Lorents, P. P.; Küberneetika Instituut (Eesti NSV Teaduste Akadeemia)
Publisher: In-t kibernetiki Akademii nauk Ėstonskoĭ SSR
Published: 1986
Place of publication: Tallin
Language: rus
Number of pages: 197
Subjects: Logic, Symbolic and mathematical -- Congresses.
Other titles: 4-i͡a Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki.; Chetvertai͡a Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki.; Primenenie metodov matematicheskoĭ logiki.
Notes: Includes bibliographies.
Title on cover: Primenenie metodov matematicheskoĭ logiki.