Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij
Finna rating
Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Saved in:
| Physical Description |
40 sivua |
|---|---|
| Language |
Russian |
| Language of Original Work |
Russian |
| Published |
Moskva :
Izd. "Nauka",
1965.
Изд. "Наука" |
| Additional Information | N. A. Šanin, G. V. Davydov, S. Û. Maslov ... [ja muita] |