Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teorem = Symbolic logic and mechanical theorem proving /
| Hlavní autor: |
Chang, Chin - Liang
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
ruština angličtina |
| Vydavatel: |
Moskva :
Nauka (Moskva),
1983.
|
| Předmět: | |
|
|