Maslov, S. I︠U︡. (Sergeĭ I︠U︡rʹevich)
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | His Teorii︠a︡ deduktivnykh sistem i ee primenenii︠a︡, 1986: t.p. (S. I︠U︡. Maslov) colophon (Sergeĭ I︠U︡rʹevich Maslov) His Theory of deductive systems ... 1987: t.p. (S. Yu. Maslov) |
から見よ参照 | Maslov, Sergeĭ I︠U︡rʹevich Maslov, S. Yu |
コード類 | 典拠ID=AU00030020 NCID=DA01298280 |
1 | Theory of deductive systems and its applications / S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz Cambridge, Mass. : MIT Press , c1987 |