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 |
Published |
Moskva :
Izd. "Nauka",
1965.
Изд. "Наука" |
Additional Information | N. A. Šanin, G. V. Davydov, S. Û. Maslov ... [ja muita] |