Lee, Richard Char-Tung. | Symbolic logic and mechanical theorem proving
VIAF ID: 6438151656329008400001 ( Work )
Permalink: http://viaf.org/viaf/6438151656329008400001
Preferred Forms
4xx's: Alternate Name Forms (2)
Expressions
Author
:
Lee, Richard Char-Tung.
Language | Title | Expression | Sources |
---|---|---|---|
Russian | Математическая логика и автоматическое доказательство теорем | 1983 | |
Japanese | コンピュータによる定理の証明 | 辻井潤一. and 長尾真 :1983 | |
Russian | Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem | Davydov and Minc and Sočilin :1983 |