Sočilin, A. V.
VIAF ID: 311292326 ( Personal )
Permalink: http://viaf.org/viaf/311292326
Preferred Forms
Works
Title | Sources |
---|---|
Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem | |
Symbolic logic and mechanical theorem proving |
Title | Sources |
---|---|
Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem | |
Symbolic logic and mechanical theorem proving |